OpenAI оголосила про проривне досягнення в галузі штучного інтелекту та математики. Нова модель GPT-5.6 Sol змогла довести гіпотезу про подвійне покриття циклів (Cycle Double Cover Conjecture), яка залишалася нерозв'язаною понад півстоліття. Успішне доведення було отримано одночасно з випуском нової версії ШІ-моделі.

Загадка теорії графів

Гіпотеза, сформульована у 1970-х роках, належить до галузі теорії графів, що вивчає вершини та з'єднуючі їх ребра. Вона стверджує, що практично будь-який граф допускає подвійне покриття циклами, при якому кожне ребро входить рівно в два замкнуті контури. Раніше, як зазначає авторитетний науково-популярний журнал Scientific American, математикам вдавалося довести це лише для окремих класів графів, однак загального рішення отримати не вдавалося.

Рішення від ШІ

Створене за допомогою GPT-5.6 Sol доведення показує, що будь-який граф, що задовольняє умовам гіпотези, може бути покритий не більше ніж вісьмома спеціально підібраними циклами. На думку математика Ноги Алона (Noga Alon) з Принстонського університету (Princeton University), отриманий результат став ще одним свідченням того, що інструменти штучного інтелекту вже починають суттєво впливати на сучасні математичні дослідження.

Як це було зроблено

Для отримання доведення OpenAI використала спеціальний промпт, опублікований разом із результатами роботи. Зокрема, моделі було запропоновано розподілити рішення між 64 агентами, що працюють паралельно, а також не припиняти пошук рішення, навіть якщо задача вважається нерозв'язаною. Крім того, розробники рекомендували моделі приділити пошуку доведення не менше восьми годин, перш ніж відмовитися від подальших спроб.

Майбутнє математичних досліджень

Математик Ендрю Сазерленд (Andrew Sutherland) з Массачусетського технологічного інституту (MIT) припустив, що подібні випадки можуть повторюватися і в майбутньому. На його думку, деякі задачі набувають репутації надзвичайно складних, через що дослідники приділяють їм менше уваги, тоді як великі мовні моделі здатні об'єднувати вже існуючі методи та знаходити відносно прості рішення для давно відомих математичних гіпотез.