Важливо розуміти: модель не довела саму гіпотезу Рімана. Вона залишається однією з семи «Проблем тисячоліття» (Clay Millennium Problems), за розв'язання якої пропонують приз у 1 мільйон доларів . Однак отриманий результат — це справжня теорема в аналітичній теорії чисел .

Як це відбувалося: автономний процес

Вражаючим є не лише сам результат, а й те, як модель його досягла:

• Співробітник Anthropic без серйозної математичної підготовки попросив модель «серйозно взятися» за доведення гіпотези .
• Протягом приблизно 1,5 днів модель самостійно перевірила близько 650 різних підходів, координуючи роботу 60 підагентів .
• Загальний обсяг «роботи» склав 31 мільйон вихідних токенів у двох сесіях, було виконано 2400 шелл-команд та переглянуто 54 статті з arXiv .
• Лише два з 60 підагентів виявилися відповідальними за ключовий математичний прорив .
• Переможний підхід синтезував статтю Енріко Бомб'єрі 2000 року з новішими результатами — комбінацію, якої до цього не помітив жоден математик .

Як перевіряли результат

Anthropic подбала про надійне підтвердження:

• Експертна перевірка: два штатні математики компанії — Левент Алпьоге (Levent Alpöge) та Ральф Фурманяк (Ralph Furmaniak) — перевірили та підтвердили доказ .
• Формальна верифікація: аргумент було формалізовано в системі Lean — інтерактивному доводжувачі теорем. Це створило машинозчитуваний сертифікат коректності .

Така подвійна перевірка (експертна рецензія + формальна верифікація) вважається найкращою сучасною практикою підтвердження математичних результатів, отриманих ШІ.

2026 рік: переломний момент для математики та ШІ

Досягнення Claude — не поодинокий випадок. 2026 рік став справжнім проривом у застосуванні штучного інтелекту в математиці:

• Травень 2026 — OpenAI оголосила, що її модель спростувала гіпотезу Ердеша про одиничні відстані, відкриту проблему 80-річної давнини .
• Травень 2026 — AlphaProof Nexus від Google DeepMind розв'язала дев'ять відкритих проблем Ердеша (деякі не піддавалися 56 років) та довела 44 гіпотези з Онлайн-енциклопедії цілочисельних послідовностей .
• Липень 2026 — Математик Anthropic Левент Алпьоге використав нову модель для пошуку контрприкладу до гіпотези Якобі, сформульованої ще 1939 року .
• Серпень 2026 — Модель Astra від OpenAI, за повідомленнями, розв'язала десять математичних проблем багаторічної давнини, витративши на обчислення лише близько $2000 .

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

Дебати в науковій спільноті: авторство, стандарти та Лейденська декларація

Стрімкий прогрес ШІ в математиці викликав гарячі дискусії:

• У червні 2026 року група з 16 математиків опублікувала Лейденську декларацію про штучний інтелект і математику. Вона рекомендує нові стандарти для структури доказів, визначення авторства та людського нагляду за результатами ШІ .
• Ключові питання: Хто отримує авторство, якщо доказ згенерував ШІ? Чи можемо ми довіряти доказам, які надто довгі або складні для людини? Як журналам рецензувати результати, які жодна людина не могла б створити самостійно ?
• Деякі математики побоюються, що докази, створені ШІ, можуть бути правильними, але «непрозорими» — вони не дають розуміння та пояснення . Інші вважають формальну верифікацію в системі Lean суворішим стандартом, ніж традиційне рецензування .

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

Результат Anthropic просуває дискусію одразу в кількох напрямках:

1. Масштаб автономного дослідження має значення. Тестування 650 ідей 60 підагентами — це систематичний пошук у масштабах, недоступних жодній людській дослідницькій групі за той самий час .
2. Можливі «неочевидні» синтези. Модель без математичної підготовки об'єднала результати 2000-го року з новішими — комбінація, яку не помітив жоден математик. Це свідчить про здатність ШІ до справжніх, неочевидних відкриттів, а не просто інтерполяції даних .
3. Формальна верифікація вирішує проблему довіри. Завдяки Lean результат не є «чорною скринькою». Це доведена теорема, яку будь-хто може перевірити механічно .
4. Дискусії про авторство та стандарти — конструктивні. Одночасна поява як приголомшливих результатів, так і спільнотної відповіді (Лейденська декларація) свідчить про те, що математична спільнота адаптується .
5. Вартість і швидкість відкриттів стрімко падають. $2000 за результати Astra та 36 годин для прориву Claude натякають, що гранична вартість публікованого математичного відкриття наближається до нуля .

Коротко: Результат Anthropic — це знакова демонстрація того, що системи ШІ здатні самостійно робити публіковані та формально верифіковані математичні відкриття, просуваючи розв'язання 150-річної проблеми. У поєднанні з іншими проривами 2026 року це переводить дискусію з площини «чи може ШІ робити відкриття» у площину «як наукова спільнота має структурувати стимули, атрибуцію та перевірку для нової ери ШІ-співдослідників».

Важливо розуміти: модель не довела саму гіпотезу Рімана. Вона залишається однією з семи «Проблем тисячоліття» (Clay Millennium Problems), за розв'язання якої пропонують приз у 1 мільйон доларів . Однак отриманий результат — це справжня теорема в аналітичній теорії чисел .

Як це відбувалося: автономний процес

Вражаючим є не лише сам результат, а й те, як модель його досягла:

• Співробітник Anthropic без серйозної математичної підготовки попросив модель «серйозно взятися» за доведення гіпотези .
• Протягом приблизно 1,5 днів модель самостійно перевірила близько 650 різних підходів, координуючи роботу 60 підагентів .
• Загальний обсяг «роботи» склав 31 мільйон вихідних токенів у двох сесіях, було виконано 2400 шелл-команд та переглянуто 54 статті з arXiv .
• Лише два з 60 підагентів виявилися відповідальними за ключовий математичний прорив .
• Переможний підхід синтезував статтю Енріко Бомб'єрі 2000 року з новішими результатами — комбінацію, якої до цього не помітив жоден математик .

Як перевіряли результат

Anthropic подбала про надійне підтвердження:

• Експертна перевірка: два штатні математики компанії — Левент Алпьоге (Levent Alpöge) та Ральф Фурманяк (Ralph Furmaniak) — перевірили та підтвердили доказ .
• Формальна верифікація: аргумент було формалізовано в системі Lean — інтерактивному доводжувачі теорем. Це створило машинозчитуваний сертифікат коректності .

Така подвійна перевірка (експертна рецензія + формальна верифікація) вважається найкращою сучасною практикою підтвердження математичних результатів, отриманих ШІ.

2026 рік: переломний момент для математики та ШІ

Досягнення Claude — не поодинокий випадок. 2026 рік став справжнім проривом у застосуванні штучного інтелекту в математиці:

• Травень 2026 — OpenAI оголосила, що її модель спростувала гіпотезу Ердеша про одиничні відстані, відкриту проблему 80-річної давнини .
• Травень 2026 — AlphaProof Nexus від Google DeepMind розв'язала дев'ять відкритих проблем Ердеша (деякі не піддавалися 56 років) та довела 44 гіпотези з Онлайн-енциклопедії цілочисельних послідовностей .
• Липень 2026 — Математик Anthropic Левент Алпьоге використав нову модель для пошуку контрприкладу до гіпотези Якобі, сформульованої ще 1939 року .
• Серпень 2026 — Модель Astra від OpenAI, за повідомленнями, розв'язала десять математичних проблем багаторічної давнини, витративши на обчислення лише близько $2000 .

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

Дебати в науковій спільноті: авторство, стандарти та Лейденська декларація

Стрімкий прогрес ШІ в математиці викликав гарячі дискусії:

• У червні 2026 року група з 16 математиків опублікувала Лейденську декларацію про штучний інтелект і математику. Вона рекомендує нові стандарти для структури доказів, визначення авторства та людського нагляду за результатами ШІ .
• Ключові питання: Хто отримує авторство, якщо доказ згенерував ШІ? Чи можемо ми довіряти доказам, які надто довгі або складні для людини? Як журналам рецензувати результати, які жодна людина не могла б створити самостійно ?
• Деякі математики побоюються, що докази, створені ШІ, можуть бути правильними, але «непрозорими» — вони не дають розуміння та пояснення . Інші вважають формальну верифікацію в системі Lean суворішим стандартом, ніж традиційне рецензування .

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

Результат Anthropic просуває дискусію одразу в кількох напрямках:

1. Масштаб автономного дослідження має значення. Тестування 650 ідей 60 підагентами — це систематичний пошук у масштабах, недоступних жодній людській дослідницькій групі за той самий час .
2. Можливі «неочевидні» синтези. Модель без математичної підготовки об'єднала результати 2000-го року з новішими — комбінація, яку не помітив жоден математик. Це свідчить про здатність ШІ до справжніх, неочевидних відкриттів, а не просто інтерполяції даних .
3. Формальна верифікація вирішує проблему довіри. Завдяки Lean результат не є «чорною скринькою». Це доведена теорема, яку будь-хто може перевірити механічно .
4. Дискусії про авторство та стандарти — конструктивні. Одночасна поява як приголомшливих результатів, так і спільнотної відповіді (Лейденська декларація) свідчить про те, що математична спільнота адаптується .
5. Вартість і швидкість відкриттів стрімко падають. $2000 за результати Astra та 36 годин для прориву Claude натякають, що гранична вартість публікованого математичного відкриття наближається до нуля .

Коротко: Результат Anthropic — це знакова демонстрація того, що системи ШІ здатні самостійно робити публіковані та формально верифіковані математичні відкриття, просуваючи розв'язання 150-річної проблеми. У поєднанні з іншими проривами 2026 року це переводить дискусію з площини «чи може ШІ робити відкриття» у площину «як наукова спільнота має структурувати стимули, атрибуцію та перевірку для нової ери ШІ-співдослідників».