OpenAI · 6. října 2026

Sdílení pokroku AI v matematice

OpenAI zveřejňuje nové výsledky interního pokročilého modelu k otevřeným matematickým problémům a na GitHubu sdílí formalizované důkazy v Lean a podrobnosti výzkumu.

Jazyk původního zdroje · angličtina

Přečíst originál

Ověřeno · 10. října 2026