- OpenAI повідомила про оригінальне розв’язання відкритої математичної задачі за допомогою ШІ.
- Йдеться про гіпотезу, сформульовану Полем Ердошем у 1946 році.
- Раніше OpenAI критикували за перебільшення математичних досягнень GPT-5.
OpenAI оголосила, що її нова універсальна модель міркувань створила власний математичний доказ, який спростовує гіпотезу в галузі геометрії, запропоновану Полем Ердошем ще 80 років тому. Компанія підкреслила, що ШІ не відшукав готовий доказ у наукових джерелах, а саме самостійно знайшов новий підхід до задачі.
Про це розповідає Бізнес • Медіа
Така заява набула широкого резонансу, оскільки у 2025 році OpenAI вже була втягнена у скандал щодо GPT-5. Тоді ексвіцепрезидент компанії Кевін Вейл повідомив, що ШІ розв’язав одразу 10 нерозв’язаних задач Ердо́ша, але пізніше з’ясувалося, що модель просто знаходила вже відомі у науковій літературі рішення. Після критики з боку провідних дослідників, включно з головою Google DeepMind Демісом Хассабісом та експертом Meta Яном Лекуном, Вейл видалив свій допис.
У новому випадку OpenAI оприлюднила відгуки низки знаних науковців, які підтвердили унікальність і значущість результату. Серед них — лауреат премії Ізраїлю Нога Алон, професорка Гарвардського університету Мелані Вуд та британський математик Томас Блум, який спеціалізується на дослідженнях задач Ердо́ша.
Автономне відкриття у геометричній задачі
За інформацією OpenAI, математична спільнота десятиліттями вважала, що найкращі розв’язання цієї задачі мають структуру, подібну до квадратних сіток. Новий ШІ ж ідентифікував абсолютно інший клас конструкцій, які виявилися ефективнішими за традиційні підходи. У компанії наголошують, що це перший випадок, коли штучний інтелект самостійно розв’язав настільки значущу відкриту математичну проблему, важливу для розвитку всієї галузі.
OpenAI також зазначила, що для цього використовувалася універсальна модель міркувань, а не вузькоспеціалізоване математичне ПЗ.
Потенціал ШІ у фундаментальній науці
На думку представників компанії, здатність штучного інтелекту автономно здійснювати складні логічні пошуки може бути корисною не лише у математиці, а й у біології, фізиці, інженерії чи медицині. Зараз ШІ-моделі демонструють поступове покращення в утриманні довгих ланцюгів логічних міркувань і здатні поєднувати ідеї з різних наукових сфер.
Блум, коментуючи результат, заявив, що ШІ допомагає дослідникам «глибше вивчати собор математики, який людство будувало століттями».