- OpenAI сообщила об оригинальном решении открытой математической задачи с помощью ИИ.
- Речь идет о гипотезе, сформулированной Полем Эрдошем в 1946 году.
- Ранее OpenAI критиковали за преувеличение математических достижений GPT-5.
OpenAI объявила, что ее новая универсальная модель рассуждений создала собственное математическое доказательство, которое опровергает гипотезу в области геометрии, предложенную Полем Эрдошем 80 лет назад. Компания подчеркнула, что ИИ не нашел готовое доказательство в научных источниках, а именно самостоятельно нашел новый подход к задаче.
Об этом сообщает Бизнес • Медиа
Такое заявление вызвало широкий резонанс, поскольку в 2025 году OpenAI уже была вовлечена в скандал вокруг GPT-5. Тогда экс-вице-президент компании Кевин Вейл сообщил, что ИИ решил сразу 10 нерешенных задач Эрдоша, но позже выяснилось, что модель просто находила уже известные в научной литературе решения. После критики со стороны ведущих исследователей, включая главу Google DeepMind Демиса Хассабиса и эксперта Meta Яна Лекуна, Вейл удалил свой пост.
В новом случае OpenAI опубликовала отзывы ряда известных ученых, которые подтвердили уникальность и значимость результата. Среди них — лауреат премии Израиля Нога Алон, профессор Гарвардского университета Мелани Вуд и британский математик Томас Блум, который специализируется на исследованиях задач Эрдоша.
Автономное открытие в геометрической задаче
По информации OpenAI, математическое сообщество десятилетиями считало, что лучшие решения этой задачи имеют структуру, подобную квадратным сеткам. Новый ИИ же идентифицировал абсолютно другой класс конструкций, которые оказались эффективнее традиционных подходов. В компании подчеркивают, что это первый случай, когда искусственный интеллект самостоятельно решил настолько значимую открытую математическую проблему, важную для развития всей области.
OpenAI также отметила, что для этого использовалась универсальная модель рассуждений, а не узкоспециализированное математическое ПО.
Потенциал ИИ в фундаментальной науке
По мнению представителей компании, способность искусственного интеллекта автономно осуществлять сложные логические поиски может быть полезной не только в математике, но и в биологии, физике, инженерии или медицине. Сейчас ИИ-модели демонстрируют постепенное улучшение в удержании длинных цепочек логических рассуждений и способны сочетать идеи из различных научных сфер.
Блум, комментируя результат, заявил, что ИИ помогает исследователям «глубже изучать собор математики, который человечество строило веками».