OpenAI представила модель Astra, которая решила 10 открытых задач по математике и информатике
Один из главных результатов — Astra построила математический объект, существование которого ученые обсуждали много лет, но не могли доказать. Это закрывает давний вопрос в теории групп. Модель также опровергла одну известную гипотезу о математических группах и улучшила несколько важных оценок в теор
Один из главных результатов — Astra построила математический объект, существование которого ученые обсуждали много лет, но не могли доказать. Это закрывает давний вопрос в теории групп. Модель также опровергла одну известную гипотезу о математических группах и улучшила несколько важных оценок в теории кодов и сложности вычислений.
По подсчетам OpenAI, все вычисления для решения 10 задач обошлись бы примерно в $2000, если использовать API модели Sol по обычным тарифам. После этого исследователи вместе с Astra оформили рассуждения модели в научные статьи. Саму модель попросили проверить каждое доказательство в специальной программе Lean — она позволяет убедиться, что доказательство верное, без ручной проверки человеком. OpenAI также показала пошаговые записи того, как модель рассуждала над каждой задачей.
В компании подчеркнули: за итоговый текст публикаций отвечают люди, но сами математические идеи и ход доказательств придумала модель. Ранее, в мае, OpenAI уже показывала похожий случай — тогда неанонсированная модель опровергла известную математическую гипотезу, и эта работа уже вдохновила ученых на новые статьи.
Математик Манчестерского университета Томас Блум назвал новые результаты значимым событием для научного сообщества. Он не считает, что искусственный интеллект скоро заменит математиков, поскольку сами такие модели обучены на трудах и научных текстах, которые создавали люди.
Ранее OpenAI уже говорила, что работает над новым семейством моделей для сложных и долгих задач. На этой неделе генеральный директор компании Сэм Альтман показал Astra представителям правительства и регуляторов США. Он рассказал, что модель умеет координировать работу сразу нескольких ИИ-агентов при решении научных и инженерных задач. По имеющимся данным, Astra станет одной из моделей наряду с Sol, Terra и Luna, но под каким названием она выйдет на рынок, пока неизвестно.
Источник: OpenAI
The Tech в Telegram Подписывайтесь на The Tech в Telegram
Будьте в курсе всех последних новостей из мира технологий и стартапов.
Читайте по теме
Другие материалы автора
Новость
test
The Tech
Новость IT
Стартапы Узбекистана и Гонконга получат новые возможности для выхода на рынки
The Tech
Новость IT
Microsoft представила обновленный Copilot с кодингом и ИИ-агентом
The Tech
Новость IT
Xsolla открыла центр исследований и разработок в Азербайджане
The Tech
Статья
Эндрю Ын рассказал, где находятся главные возможности ИИ
The Tech
Новость IT
NVIDIA, Kraken, Higgsfield AI: кто приедет на AI & Digital Bridge 2026 в Астану
The Tech