Компания ОпенЭйАй (OpenAI) заявляет, что ее новая модель рассуждений смогла создать оригинальное математическое доказательство, опровергающее знаменитую нерешенную задачу в геометрии, впервые поставленную Полом Эрдёшем (Paul Erdős) в 1946 году.

Предыдущие заявления

Это заявление может показаться знакомым, поскольку ОпенЭйАй (OpenAI) уже делала подобные смелые заявления ранее. Семь месяцев назад бывший вице-президент компании Кевил Вейл (Kevil Weil) опубликовал на X: «ЧатГПТ-5 (GPT-5) нашла решения 10 (!) ранее нерешенных задач Эрдёша и добилась прогресса в 11 других».

Однако оказалось, что ЧатГПТ-5 (GPT-5) на самом деле не решила эти задачи, а просто нашла существующие решения, которые уже были опубликованы в литературе.

За этим последовали насмешки со стороны конкурентов, таких как Ян Лекун (Yann LeCun) и генеральный директор Google DeepMind Демис Хассабис (Demis Hassabis), и Вейл быстро удалил свое преждевременное сообщение. Сегодня, по крайней мере, кажется, что ОпенЭйАй (OpenAI) не повторила свою ошибку. Вместе с заявлением ОпенЭйАй (OpenAI) опубликовала дополнительные комментарии в поддержку доказательства от математиков, таких как Нога Алон (Noga Alon), Мелани Вуд (Melanie Wood) и Томас Блум (Thomas Bloom), который поддерживает веб-сайт задач Эрдёша и ранее назвал пост Вейла «драматическим искажением».

Новое достижение

«В течение почти 80 лет математики считали, что лучшие возможные решения выглядят примерно как квадратные сетки», — опубликовала ОпенЭйАй (OpenAI) на X. «Модель ОпенЭйАй (OpenAI) теперь опровергла это убеждение, открыв совершенно новую семью конструкций, которая работает лучше».

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

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

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

OpenAIclaimsits new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946.

If this sounds familiar to you, it’s because this isn’t the first time OpenAI has made such a bold claim.Seven months ago, the AI giant’sformer VP Kevil Weilposted on X: “GPT-5 found solutions to 10 (!) previously unsolved Erdős problems and made progress on 11 others.”

It turns out, GPT-5 didn’t actually solve those problems; it just found existing solutions that already existed in the literature.

Taunts from rivals like Yann LeCun and Google DeepMind CEO Demis Hassabis followed, and Weil promptly took down his premature post. Today, at least, it seems OpenAI didn’t make the same mistake twice. Alongside the announcement, OpenAI publishedcompanion remarksin support of the disproof from mathematicians like Noga Alon, Melanie Wood, and Thomas Bloom, who maintainsthe Erdos Problems website, and previously called Weil’s post“a dramatic misrepresentation.”

“For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids,”OpenAI posted on X. “An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.”

The company said this marks “the first time AI has autonomously solved a prominent open problem central to a field of mathematics.” The proof, per OpenAI, came from a new general-purpose reasoning model, not a system specifically designed to solve math problems or even this problem in particular.

OpenAI says this is significant because it means AI systems are now more capable of holding together long, difficult chains of reasoning and connecting ideas across fields in ways researchers may not have previously explored. That has implications for biology, physics, engineering, and medicine.

“AI is helping us to more fully explore the cathedral of mathematics we have built over the centuries,” Bloom said in a statement. “What other unseen wonders are waiting in the wings?”