Прогрес штучного інтелекту турбує великих математиків

Теренс Тао, професор в UCLA та лауреат медалі Філдса 2006 року, опублікував 8 вересня 2026 року на платформі Mathstodon застереження, яке облетіло академічне середовище. На його думку, штучний інтелект більше не просто допомагає дослідникам. Він загрожує самій суті людського розуміння та фундаментальних досліджень. І не без підстав, адже штучний інтелект виснажує резервуар << хороших відкритих проблем >>. Це ті нерозв'язані питання, які справді просувають наукову галузь.

Коротко

• Штучний інтелект вирішує тисячолітні проблеми за кілька днів, тоді як людям це займає роки.
• Теренс Тао попереджає: штучний інтелект виснажує << хороші питання >> в математиці.
• Математики бояться знецінення своєї ролі та відкриттів.
• Спільнота закликає до нових правил використання штучного інтелекту в дослідженнях.

Штучний інтелект вирішує тисячолітні проблеми за рекордний час

З травня 2026 року оголошення, пов'язані зі штучним інтелектом, з'являються з неймовірною швидкістю. Спочатку OpenAI спростувала гіпотезу Ердіша про одиничні відстані, проблему, яка залишалася відкритою з 1946 року. Через кілька тижнів та ж компанія стверджує, що вирішила одну з семи << проблем тисячоліття >> Клейового математичного інституту: існування та регулярність розв'язків рівнянь Нав'є-Стокса. Ці рівняння описують рух рідин.

За словами Трістана Бакмастера, математика, який розробив перспективний підхід, штучний інтелект OpenAI завершив за вихідні те, над чим він і його колега Левент Алпоге (працівник Anthropic) намагалися працювати протягом місяців.

Це ще не все! У серпні 2026 року OpenAI також опублікувала десять нових значних математичних та комп'ютерних результатів, отриманих за допомогою своєї моделі Astra. Ці результати охоплюють:

• геометрію;
• криптографію;
• теорію кодів.

Зі свого боку, Anthropic використала Claude для формалізації доведення останньої теореми Ферма всього за 11 днів. Ця компанія штучного інтелекту нещодавно оголосила про наближення свого виходу на біржу.

Теренс Тао: штучний інтелект виснажує << хороші питання >> в математиці

У пості, опублікованому на Mathstodon, Теренс Тао, вважається найкращим живим математиком, висловлює чітке застереження. На його думку, справжня небезпека полягає не в тому, що штучний інтелект вирішує проблеми, а в тому, що він робить це занадто швидко, перш ніж спільнота зможе винести з цього всі уроки.

Він написав:

Непомірне використання потужних інструментів для витягування рішень може досягти негайної мети вирішення проблем, але ціною підтримки екосистеми для наступної хвилі прогресу.

Для Тао цінність математичної проблеми полягає як у її розв'язанні, так і в шляху, пройденому для досягнення цього. Адже цей процес дозволяє:

• відкривати нові методи
• знаходити нові зв'язки між галузями
• (іноді) переформулювати саме питання.

Однак з штучним інтелектом цей шлях обривається. У цьому сенсі Тао попереджає:

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

Розшифровка: штучний інтелект перетворює математику з дисципліни << рідкості доказів >> на дисципліну << достатку доказів >>. Що загрожує знецінити людську працю.

Математики стикаються з ідентичною кризою через штучний інтелект?

Поза заявами Тао, все професійне співтовариство ставить питання. << Якщо основною метою математики є доведення теорем, стає легко запитати: тепер, коли машини, здається, можуть робити це майже за бажанням, для чого ми потрібні? >>, зокрема запитує Генрі Юен, математик Колумбійського університету під час інтерв'ю для The Telegraph.

У червні 2026 року понад 3 000 математиків підписали Лейденську декларацію. Цей документ закликає до:

• відповідального використання штучного інтелекту;
• ретельної перевірки результатів;
• належного цитування людських та штучних внесків.

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

Яке майбутнє математики в епоху штучного інтелекту?

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

Проте всі погоджуються в одному: правила повинні змінитися. Лейденська декларація наполягає на прозорості та визнанні внесків. Але як застосувати ці принципи в гонці, де моделі штучного інтелекту не є публічними, а докази генеруються за кілька годин?

У будь-якому випадку, штучний інтелект зробив крок вперед у математиці. Тепер м'яч на полі спільноти: визначити нові правила, щоб штучний інтелект залишався інструментом, а не заміною.