OpenAI опубликовала 377 решений разных математических задач. Новые результаты были получены при помощи более совершенной модели искусственного интеллекта, которая пока не была представлена широкой публике
OpenAI опубликовала 377 новых результатов, полученных искусственным интеллектом (ИИ) при решении математических задач в разных областях, включая алгебру, теорию чисел, теоретическую информатику, математическую логику и топологию. Об этом сообщается в блоге компании.
Новые результаты были представлены после того, как в сентябре компания объявила о решении «задачи тысячелетия».
Как и в случае с исследованием уравнений Навье–Стокса, новые математические результаты удалось получить при помощи более совершенной модели ИИ, которая пока не представлена широкой публике. В компании уточнили, что получение каждого результата занимало в среднем три часа.
Доказательства проверялись при помощи языка программирования Lean, который способен контролировать корректность базовой логики. По мере окончания новых исследований их результаты будут добавлять в общую базу данных, пообещали в компании.
В OpenAI также сообщили, что проводят консультации с экспертной группой по разработке методов представления научному сообществу итогов исследований в области математики, полученных с использованием ИИ.
Кроме того, компания планирует финансировать семинары, конференции и спецпрограммы, которые могут способствовать пониманию математических результатов, полученных искусственным интеллектом. При этом тестирование передовых моделей в разных научных областях будет продолжено, заверили там.
