GPT-5.6 Sol за час довела математичну гіпотезу, над якою вчені боролися більше 50 років

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

Джерело зображення: AI

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

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

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

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

Хочеш дізнатися більше — читай відгуки