OpenAI победила математику — контора добра за один заход выдала 722 математические работы, над которыми в том числе люди бились десятилетиями. Компания опубликовала результаты работы своей пока неназванной внутренней модели: она получила около 4000 математических задач и в итоге выдала 722 рукописи в 372 направлениях. В среднем на один результат уходило около трёх часов вычислений уровня ChatGPT Pro — прямо сейчас результаты проверяют лучшие умы мира. Правда, у математиков уже «сгорело», потому что такие публикации должны сопровождаться полноценными статьями, а не… постами в соцсетях 😆 Результаты уже доступны на GitHub. Там же есть Lean-формализации части доказательств. @techmedia
- 95
- 24
- 16
- 9
- 9
- 8