Компания OpenAI утверждает, что решила математическую задачу, существовавшую 80 лет, — и на этот раз по-настоящему.

Компания OpenAI утверждает, что ее новая модель рассуждений позволила получить оригинальное математическое доказательство, опровергающее известную нерешенную гипотезу в геометрии, впервые выдвинутую Полем Эрдошем в 1946 году.

Если вам это кажется знакомым, то это потому, что OpenAI не впервые делает такое смелое заявление. Семь месяцев назад бывший вице-президент этого гиганта в области ИИ Кевил Вейл написал на X: «GPT-5 нашел решения для 10 (!) ранее нерешенных проблем Эрдоша и добился прогресса в решении еще 11».

Как оказалось, GPT-5 на самом деле не решил эти проблемы; он просто обнаружил уже существующие решения, описанные в литературе.

Затем последовали насмешки от конкурентов, таких как Ян Лекун и генеральный директор Google DeepMind Демис Хассабис, и Вейл незамедлительно удалил свой преждевременный пост. Сегодня, по крайней мере, кажется, что OpenAI не допустила той же ошибки дважды. Вместе с объявлением OpenAI опубликовала комментарии в поддержку опровержения от таких математиков, как Нога Алон, Мелани Вуд и Томас Блум, который поддерживает веб-сайт Erdos Problems и ранее назвал пост Вейла «драматическим искажением фактов».

«Почти 80 лет математики считали, что наилучшие возможные решения приблизительно похожи на квадратные сетки», — написала компания OpenAI на платформе X. «Теперь модель OpenAI опровергла это убеждение, обнаружив совершенно новое семейство конструкций, которые показывают лучшие результаты».

Компания заявила, что это «первый случай, когда ИИ автономно решил важную открытую проблему, имеющую центральное значение для области математики». Доказательство, по данным OpenAI, было получено с помощью новой универсальной модели рассуждений, а не системы, специально разработанной для решения математических задач или даже именно этой проблемы.

В OpenAI заявляют, что это имеет важное значение, поскольку означает, что системы искусственного интеллекта теперь лучше способны связывать длинные и сложные цепочки рассуждений и идеи из разных областей знаний способами, которые исследователи, возможно, ранее не исследовали. Это имеет значение для биологии, физики, инженерии и медицины.

«Искусственный интеллект помогает нам полнее исследовать собор математики, который мы строили на протяжении веков», — сказал Блум в своем заявлении. «Какие еще невидимые чудеса ждут своего часа?»

Источник: techcrunch.com