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