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

Živě.cz 07.10.2026 19:05 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. OpenAI nyní zveřejnilo 722 matematických článků, které připravil jeho interní, zatím neveřejný ...

Čítať celý článok >>