OpenAI победила математику — контора добра за один заход выдала 722 математические рабо...
OpenAI победила математику — контора добра за один заход выдала 722 математические работы, над которыми в том числе люди бились десятилетиями. Компания опубликовала результаты работы своей пока неназванной внутренней модели: она получила около 4000 математических задач и в итоге выдала 722 рукописи в 372 направлениях. В среднем на один результат уходило около трёх часов вычислений уровня ChatGPT Pro — прямо сейчас результаты проверяют лучшие умы мира. Правда, у математиков уже «сгорело», потому что такие публикации должны сопровождаться полноценными статьями, а не… постами в соцсетях 😆 Результаты уже доступны на GitHub (https://github.com/openai/math). Там же есть Lean-формализации части доказательств.
23 просмотров