OpenAI выпустила большую коллекцию математических исследований, созданных с помощью модели искусственного интеллекта, включая работу над проблемами, которые годами бросали вызов профессиональным математикам.
Компания объявила о выпуске 6 октября, заявив, что результаты охватывают широкий спектр математики и публикуются открыто для изучения исследователями.
Публичная коллекция содержит 722 рукописи, организованные в 372 родственных семейства результатов. Работа была основана на оценке, включающей около 4000 математических задач.
Коллекция охватывает сотни математических результатов, полученных неизданной пограничной моделью. Но публикация не означает, что каждое утверждение должно немедленно рассматриваться как установленный математический факт. Исследователи должны будут изучить доказательства и определить важность и новизну отдельных результатов.
Одна особенно важная особенность заключается в том, что OpenAI предоставил формализацию многих доказательств с использованием языка программирования Lean, который позволяет проверять математические доказательства с помощью компьютера. Компания заявляет, что со временем будут добавлены дополнительные формы.
OpenAI также показал поразительную меру задействованных вычислений. В среднем каждый результат требовал вычисления, эквивалентного примерно трем часам ChatGPT. Про-мышление с использованием внутренней модели.
Выпуск следует за все более драматическими утверждениями о способности ИИ вносить свой вклад в математику. В сентябре OpenAI заявила, что те же самые исследования позволили решить более 100 давних открытых проблем, что побудило компанию работать с независимой группой выдающихся математиков над тем, как такие открытия должны быть рассмотрены и переданы.
Эта консультативная группа включает математиков из таких учреждений, как Стэнфорд, Гарвард, Оксфорд, Кембридж, Беркли и Институт перспективных исследований. Его роль заключается не только в поддержке работы OpenAI, но и в независимом консультировании по вопросам значимости, стандартов исследований и ответственного раскрытия информации.
Более широкий вопрос теперь выходит за рамки того, может ли ИИ ответить на сложные математические вопросы.
Если независимые математики в конечном итоге проверят значительную часть этой работы, новым рубежом может быть то, сможет ли ИИ регулярно открывать математику, которую люди еще не знали.
