Ноам Браун сообщил о десяти математических прорывах, совершённых моделями GPT, менее чем за $2000
Ключевые выводы
- •Исследователь OpenAI Ноам Браун представил десять математических прорывов, достигнутых моделями GPT, общая стоимость доказательств для которых составила менее $2000 по ценам API Sol.
- •Браун выразил предвкушение будущих возможностей, сославшись на грядущие модели Astra от OpenAI как инструмент для учёных и исследователей.
- •Низкая стоимость создания доказательств свидетельствует о том, что математические исследования с поддержкой ИИ становятся экономически доступными за пределами традиционных академических институтов.
- •Большие языковые модели продемонстрировали растущие возможности в математике соревновательного уровня, формальных ассистентах доказательств, таких как Lean, и комбинаторном решении задач.
- •Другие организации, включая Google DeepMind, сообщили об ИИ-управляемых математических открытиях, что указывает на более широкую отраслевую тенденцию к интеграции языковых моделей в научные рабочие процессы.
Ноам Браун, исследователь OpenAI, известный своей работой над системами искусственного интеллекта в области рассуждений, представил серию из десяти математических прорывов, достигнутых моделями GPT. По словам Брауна, общая стоимость создания доказательств для всех десяти прорывов в совокупности составила менее $2000 по ценам API Sol. Он также выразил предвкушение в отношении возможностей будущих моделей, заявив: «Мы с нетерпением ждём, что учёные и исследователи смогут создать с помощью наших грядущих моделей Astra!»
Браун поделился своим списком из десяти прорывов в публикации на X:
https://x.com/polynoamial/status/2083470822258467194?s=61
Дополнительные комментарии о значимости этих разработок были опубликованы здесь:
https://x.com/stalkalmustang/status/2083485500250198453
Эти результаты подчёркивают растущую роль больших языковых моделей в математических исследованиях — области, которая исторически требовала обширной экспертизы и сотрудничества людей. Стоимость менее $2000 подчёркивает, что исследования с поддержкой ИИ становятся экономически доступными таким образом, что может расширить участие за пределами традиционных академических институтов. Достижения в области ИИ-управляемого доказательства теорем и верификации доказательств ускорились в последние годы: модели демонстрируют возможности в таких областях, как математика соревновательного уровня, формальные ассистенты доказательств, такие как Lean, и комбинаторное решение задач. Другие организации, включая Google DeepMind с такими системами, как AlphaGeometry, также сообщили о значительном вкладе ИИ в математические открытия, что свидетельствует о более широкой отраслевой тенденции к интеграции языковых моделей в научные рабочие процессы.