ШІ Claude Fable 5 допоміг спростувати відому якобіанову гіпотезу

06 серпня 2026 р. 11:25

06 серпня 2026 р. 11:25

Математик Левент Алпьодже (Levent Alpöge), який працює в компанії Anthropic, за допомогою великої мовної моделі Claude Fable 5 знайшов надзвичайно простий контрприклад до відомої якобіанової гіпотези в тривимірному просторі та для всіх вищих вимірів. Про це повідомляє видання ScienceDaily з посиланням на матеріал The Conversation.

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

Що таке якобіанова гіпотеза

Гіпотеза в математиці — це твердження, яке вважають правдоподібним, але ще не змогли ні довести, ні спростувати. Якобіанова гіпотеза належить до галузі алгебраїчної геометрії й стосується спеціального класу функцій — поліноміальних відображень.

Функцію можна уявити як «машину», в яку ми подаємо одне чи кілька чисел, а на виході отримуємо інші числа за певним правилом. У цьому випадку числа відповідають координатам точок у просторі, тож функція фактично «пересуває» точки.

Щоб оцінити, наскільки «акуратно» функція рухає простір, математики використовують якобіанний визначник. Якщо цей визначник всюди дорівнює деякій ненульовій сталій, то відображення ніде не «зминає» і не «склеює» простір у певних точках.

Якобіанова гіпотеза стверджує: якщо якобіанний визначник поліноміального відображення є ненульовою сталою, то завжди існує інше поліноміальне відображення, яке повністю його обертає, повертаючи всі точки на початкові місця. Не кожна функція є оборотною: якщо вона, наприклад, переводить дві різні точки в одну, то «розклеїти» їх назад уже неможливо.

Понад століття спроб і помилок

Дводимірну версію якобіанової гіпотези сформулював чеський математик Людвіг Краус ще 1884 року. У 1939-му німецький математик Отт-Гайнріх Келлер узагальнив її на довільну кількість вимірів.

Проблема виявилася настільки привабливою, що лауреат медалі Філдса Стівен Смеєл включив її до свого списку «Математичних задач наступного століття» у 1998 році. За десятиліття було чимало заявлених «розв’язань» від відомих математиків, зокрема Беньяміно Сегре та Вольфганга Ґребнера, але в кожному випадку згодом знаходилися тонкі помилки.

Водночас з’явилися коректні часткові результати: доведення гіпотези за певних обмежень та обчислювальні перевірки. Зокрема, у двох вимірах показано, що вона виконується для поліномів ступеня до 100. Однак загальний випадок залишався відкритим, і нікому не вдавалося знайти приклад, який би її спростував.

Несподівано короткий контрприклад

Однією з причин, чому якобіанова гіпотеза так інтригувала математиків, було враження, що контрприклад мав би бути «простим». Легко придумати функції, які «склеюють» точки, і окремо — поліноміальні відображення з постійним якобіанним визначником. Але поєднати ці дві властивості в одній формулі виявилося надзвичайно складно.

Ще 2017 року користувач Math Stack Exchange зауважив, що, наскільки відомо, «якийсь кмітливий студент може просто написати формулу, яка стане контрприкладом до цієї гіпотези». У випадку Алпьодже це виявилося дуже близьким до правди: знайдена ним формула настільки коротка, що поміщається в один допис на X.

Алпьодже виявив поліноміальне відображення в трьох вимірах із постійним якобіанним визначником, рівним -2 , яке при цьому переводить кілька різних вхідних точок в одну й ту саму вихідну. Таке відображення не може бути оборотним, отже, воно суперечить якобіановій гіпотезі.

Цей приклад показує, що гіпотеза хибна в усіх розмірностях, більших за два. Початкова двовимірна версія при цьому залишається відкритою. Короткість формули зробила перевірку результату іншими математиками відносно простою.

Нова роль ШІ в математиці

Знахідка Алпьодже — черговий приклад гучних математичних результатів, отриманих за участі великих мовних моделей. Раніше повідомлялося, що інші системи штучного інтелекту допомогли спростувати гіпотезу про одиничні відстані та довести задачу Ерьоша №1196, над якою працював 23-річний аматор Ліам Прайс (Liam Price).

У таких випадках моделі виявляють свою сильну сторону: вони здатні поєднувати ідеї з різних розділів математики й несподівано комбінувати їх для отримання нових результатів.

Наразі деталі того, як саме Алпьодже взаємодіяв із Claude Fable 5, не оприлюднені: невідомо, які саме підказки (промпти) він використовував і як виглядав початковий вихід моделі. Однак цей результат відрізняється від багатьох попередніх тим, що сам контрприклад виявився надзвичайно простим.

Складність полягала не в побудові хитромудрої конструкції чи довгого доведення, а в ефективному «орієнтуванні» в гігантському просторі можливих поліноміальних відображень, щоб знайти одне з потрібними властивостями. Це вказує, що штучний інтелект може бути не менш корисним для пошуку неочікуваних математичних об’єктів, ніж для побудови формальних доведень.

Якими будуть наслідки цього для майбутнього математики та ролі людських математиків, поки що незрозуміло. Але вже зараз видно, що співпраця людини й ШІ здатна зрушувати з місця задачі, які десятиліттями вважалися майже недосяжними.

Наука