OpenAI заявляет, что его reasoning-модель доказала геометрическую гипотезу Эрдёша 1946 года

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

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

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

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

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

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

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

Ребекка Беллан — старший репортёр TechCrunch, освещающая бизнес, политику и новые тенденции, формирующие искусственный интеллект. Её работы также публиковались в Forbes, Bloomberg, The Atlantic, The Daily Beast и других изданиях.

Материал — перевод статьи с английского.

Оригинал: OpenAI claims it solved an 80-year-old math problem — for real this time