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

Автоматизація наукового пошуку: 650 ідей за 36 годин

Процес роботи ШІ над задачею тривав 1,5 доби. За цей час алгоритм продемонстрував здатність до автономного планування та координації. Модель самостійно координувала виконання завдання, протестувавши 650 різних ідей та підходів до розв'язання. Масштаб обчислювальних ресурсів був вражаючим: алгоритм використав 31 мільйон вхідних токенів та залучив до процесу 60 окремих субагентів. Це свідчить про перехід від простого генерації тексту до складної когнітивної діяльності, що вимагає багаторівневої логіки та перевірки гіпотез.

Верифікація результатів та формалізація

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

Контекст: ШІ в математиці у 2026 році

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

Етичні дебати: Авторство та відповідальність

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

Оптимістичний погляд: Майбутнє математики

У той же час, багато експертів, включаючи лауреата премії Філдса Тімоті Говерса, вважають, що залучення ШІ може змінити математику на краще. Вони вважають, що нейронні мережі здатні знаходити зв'язки та патерни, недоступні людському розуму, що відкриє нові горизонти для науки. Прорив Anthropic підтверджує, що ШІ здатний не лише розв'язувати поставлені задачі, але й знаходити несподівані підходи до вирішення проблем, які здавалися нерозв'язними.