Штучний інтелект підкорює чисту математику: два прориви 2026 року, які доводять, що машини здатні відкривати нову математику

Модель Claude Fable 5 від Anthropic знаходить контрприклад до гіпотези Якобі (липень 2026)

19 липня 2026 року математик Левент Альпьоге, дослідник компанії Anthropic, оголосив на платформі X, що за допомогою моделі Anthropic Claude Fable 5 знайшов контрприклад до гіпотези Якобі — 87-річної відкритої проблеми в алгебричній геометрії, вперше сформульованої Отто-Гайнріхом Келлером у 1939 році . Гіпотеза, яка посідала 16-те місце у списку проблем на наступне століття філдсівського медаліста Стівена Смейла 1998 року, стверджувала, що поліноміальне відображення з Cⁿ у Cⁿ з постійним ненульовим визначником Якобі повинно бути глобально оборотним .

Контрприклад — надзвичайно лаконічне поліноміальне відображення з 216 символів з C³ у C³, визначник Якобі якого тотожно дорівнює -2, але воно відображає три різні вхідні трійки в один і той самий вихід, що спростовує глобальну оборотність . Протягом кількох годин після публікації Альпьоге математики по всьому світу незалежно верифікували результат, а формальна верифікація в помічнику доведень Lean була завершена менш ніж за 24 години .

Відомі математики, зокрема Теренс Тао та Тімоті Гауерс, високо оцінили результат . Тао опублікував геометричний аналіз контрприкладу, а верифікацію широко підтвердила математична спільнота . Двовимірний варіант гіпотези залишається відкритим .

Що ці результати означають для майбутнього математики

ШІ тепер здатен генерувати справді нові доведення

Обидва прориви передбачають глибокі концептуальні стрибки, а не просто обчислювальну допомогу. Спростування гіпотези про одиничні відстані вимагало від ШІ зв'язати алгебричну теорію чисел з комбінаторною геометрією — зв'язок, якого не зробив жоден математик . Контрприклад до гіпотези Якобі вимагав побудови тонкого поліноміального відображення зі специфічними алгебричними властивостями .

Модель партнерства людини та ШІ виявляється потужною

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

Темпи прискорюються

Пізніше, у серпні 2026 року, OpenAI оголосила, що той самий клас внутрішніх моделей міркувань досяг прогресу в 10 великих проблемах математики та теоретичної інформатики, охоплюючи багатовимірну геометрію, теорію кодування, теорію груп, алгебри операторів, квантову складність, ґратчасту криптографію та екстремальну комбінаторику . Спостерігачі описують це як «новий золотий вік» математики, рушієм якого є ШІ .

Важливі застереження залишаються

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

Загальна картина

Ці прориви 2026 року стали результатом стрімкого прогресу математичних здібностей ШІ. У липні 2025 року моделі ШІ вперше розв'язали п'ять із шести завдань Міжнародної математичної олімпіади . На початок 2026 року моделі вже досягали золотого стандарту на ММО . Тепер ШІ отримує результати на передньому краї досліджень, розв'язуючи проблеми, які визначали цілі кар'єри.

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