OpenAI стверджує, що її нова модель для міркувань створила оригінальний математичний доказ, який спростовує відому нерозв’язану гіпотезу в геометрії, вперше сформульовану Полом Ердешем у 1946 році.
Якщо це звучить знайомо, то тому, що це не перший раз, коли OpenAI робить настільки сміливу заяву. Сім місяців тому колишній віцепрезидент компанії Кевін Вейл написав у X: «GPT-5 знайшла розв’язки 10 (!) раніше нерозв’язаних задач Ердеша й досягла прогресу ще в 11».
Згодом з’ясувалося, що GPT-5 насправді не розв’язала ці задачі; вона лише «знайшла» розв’язки, які вже існували в науковій літературі.
Після цього посипалися глузування від конкурентів, зокрема Яна Лекуна та CEO Google DeepMind Деміса Гассабіса, а Вейл швидко видалив свій передчасний допис. Нині, принаймні, схоже, що OpenAI не повторила ту саму помилку. Разом із оголошенням компанія оприлюднила супровідні коментарі на підтримку спростування від математиків Ноги Алона, Мелані Вуд та Томаса Блума, який веде сайт Erdős Problems і раніше назвав допис Вейла «драматичним перекрученням».
«Майже 80 років математики вважали, що найкращі можливі розв’язки виглядають приблизно як квадратні ґратки, – написала OpenAI в X. – Модель OpenAI тепер спростувала цю віру, відкривши цілком нову родину конструкцій, яка працює краще».
Компанія заявляє, що це «вперше, коли ШІ автономно розв’язав помітну відкриту задачу, центральну для цілого розділу математики». За даними OpenAI, доказ отримано за допомогою нової багатофункціональної моделі для міркувань, а не системи, спеціально створеної для розв’язування математичних задач або саме цієї задачі.
OpenAI вважає це важливим, оскільки нинішні системи ШІ стають здатнішими утримувати довгі, складні ланцюжки міркувань і поєднувати ідеї з різних галузей у спосіб, якого дослідники раніше могли й не розглядати. Це має наслідки для біології, фізики, інженерії та медицини.
«ШІ допомагає нам повніше дослідити собор математики, який ми будували століттями, – сказав Блум у заяві. – Які ще невидимі дива чекають за лаштунками?»