AI-агент Anthropic спростував математичну гіпотезу 1939 року: прорив чи черговий фейк?
20 липня 2026 року дослідник Anthropic Левент Альпоге оголосив про сенсаційний результат: мовна модель Claude Fable 5 знайшла контрприклад до гіпотези Якобіана — однієї з центральних нерозв'язаних проблем алгебраїчної геометрії, сформульованої німецьким математиком Отто-Генріхом Келлером у 1939 році.
Суть гіпотези проста, але глибока. Уявіть собі формулу, яка перетворює один набір чисел на інший. Математики вміють перевіряти таку формулу «локально» — у кожній окремій точці вона не втрачає інформацію і не «склеює» різні вхідні дані. Гіпотеза Якобіана стверджувала, що якщо формула поводиться ідеально в малому, то її дію можна обернути й глобально: відновити вихідні числа за результатом. Ця властивість називається «оборотністю».
Контрприклад, який усе ламає
Claude Fable 5 побудував формулу, яка проходить локальну перевірку, але при цьому три різні набори чисел переводяться в один і той самий результат. Це пряме спростування гіпотези: відновити вихідні дані за результатом неможливо. Альпоге опублікував посилання на Wolfram Alpha, де будь-хто охочий може самостійно перерахувати приклад.
Примітно, що питання про гіпотезу поставив друг Альпоге, а сам Claude працював над задачею під час фіналу чемпіонату світу з футболу. За 87 років існування гіпотеза стала сумно відомою через безліч хибних доведень. Математик Цяочу Юань зазначив, що це найвідоміша відкрита проблема, яку коли-небудь розв'язала мовна модель, і процитував розбір Т.Т. Мо, який у 2008 році вказав, що навіть такі світила, як Беньяміно Сегре, Клод Шевальє та Ігор Шафаревич, помилялися в її оцінці.
Математик Джаред Дюкер Ліхтман назвав результат «видатним», нагадавши, що окремий випадок гіпотези був темою дисертації Ітана Чжана, майбутнього автора прориву в теорії простих чисел.
Перевірюваність проти шуму
Ключова відмінність цього результату від типових заяв ІІ-компаній — його абсолютна перевірюваність. Зазвичай ми чуємо про рекорди на бенчмарках або внутрішніх тестах. Тут же — конкретна формула, яку можна підставити й перерахувати вручну. Поки результат не пройшов формальне рецензування, але сама його природа робить його доступним для перевірки будь-якому математику.
Альпоге — не новачок у науці. Він захистив докторську в Принстоні під керівництвом філдсівського лауреата Манджула Бхаргави, а в 2015 році отримав премію Моргана — найвищу нагороду США за студентські дослідження в математиці.
ІІ проти відкритих проблем: контекст
Це не перший випадок, коли ІІ допомагає розв'язувати математичні задачі. У жовтні 2025 року віцепрезидент OpenAI Кевін Вейл заявив, що GPT-5 розв'язала десять проблем Ердеша, але заява не підтвердилася — модель знайшла вже відомі розв'язки. У січні 2026 року GPT-5.2 Pro розв'язала проблему Ердеша №397, що підтвердив сам Теренс Тао. У травні модель OpenAI спростувала гіпотезу Ердеша 1946 року про одиничні відстані — це перший випадок такого рівня для ІІ. Доведення перевірили дев'ять зовнішніх математиків.
Однак, як справедливо зауважив Тао, поки ІІ зриває лише «низько висячі плоди», доступні стандартним технікам. Тим не менш, прогрес очевидний: від заяв без підтвердження до формально верифікованих спростувань 80-річних гіпотез.
Мій коментар: Результат Альпоге та Claude Fable 5 — це не просто черговий ІІ-рекорд, а демонстрація того, що мовні моделі можуть генерувати принципово нові математичні об'єкти, а не просто компілювати відомі. Якщо перевірка підтвердить коректність, це стане вододілом: ІІ перестає бути просто інструментом для обчислень і починає брати участь у фундаментальних відкриттях. Однак історія з помилками OpenAI нагадує: поки кожен такий результат потребує бритви Оккама та руки живого математика.