OpenAI победила математику — контора добра за один заход выдала 722 математические работы, над которыми в том числе люди бились десятилетиями.

Компания опубликовала результаты работы своей пока неназванной внутренней модели: она получила около 4000 математических задач и в итоге выдала 722 рукописи в 372 направлениях.

В среднем на один результат уходило около трёх часов вычислений уровня ChatGPT Pro — прямо сейчас результаты проверяют лучшие умы мира.

Правда, у математиков уже «сгорело», потому что такие публикации должны сопровождаться полноценными статьями, а не… постами в соцсетях 😆

Результаты уже доступны на GitHub. Там же есть Lean-формализации части доказательств.

Техобзор 🤖