wird geladen
Algebraic World Model beweist formal Spielziele und schlägt GPT-6 und Claude Opus · Lumeric