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