A matematici nebudou mít co žrát… OpenAI vysypalo na GitHub stovky důkazů k úlohám, na které lidé nestačili

Matematika testuje umělou inteligenci jinak než ostatní obory. Výsledek tady buď platí, nebo neplatí. Je zde velmi silná možnost formální kontroly, kdy přesvědčivý tón ani hezké formulace nepomohou. ...

Pokračovat na článek