Терренс Тао бити тривогу в математичному світі: різко критикує надмірну оцінку штучного інтелекту

Останнім часом з’являються сміливі новини про те, що «Штучний інтелект самостійно розв’язав довготривалі математичні задачі, які людство не могло розв’язати багато років». У міру зростання впливу таких повідомлень несподівано висловив свою думку один із провідних учених — Терренс Тао. Саме він, активно застосовуючи ШІ у математичних дослідженнях, особливо підкреслює важливість не перебільшувати значення таких досягнень і закликає припинити «міфологізацію» штучного інтелекту у медіа та суспільстві.

Чому поширюється ілюзія «Математичної революції ШІ»

Можливо, ви бачили заголовки типу: «ШІ за 50 років повністю автоматично розв’язав математичну проблему — настає ера безробіття для математиків». Такі сенсаційні заголовки викликають ілюзію, що штучний інтелект здатен вирішити будь-яку задачу, що для прихильників штучного загального інтелекту (AGI) є надією, а для дослідників — джерелом тривоги.

Насправді за цим стоїть спрощене сприйняття інформації. Часто окремі успіхи сприймаються як ознака загальної здатності системи, а неперевірені результати — як вже досягнуті факти. Такі хибні уявлення формують міф про «непереможність ШІ у математиці».

Терренс Тао, опублікувавши пізно вночі на GitHub сторінку «AI contributions to Erdős problems», наголошує на тому, що потрібно бути обережним при оцінці внесків ШІ у розв’язання проблем Ердеша, і детально пояснює, на що слід звертати увагу.

Помилки у оцінці ШІ: пастки та підводні камені

Зазначені Терренсом Тао зауваження, з першого погляду, здаються критикою результатів ШІ, але насправді вони допомагають переосмислити, що таке справжній успіх.

Ігнорується різниця у складності задач: у проблемах Ердеша є як дуже складні, ключові питання, так і «довгі хвости» — задачі, що залишалися без розв’язку багато років. ШІ краще справляється з останніми, але оцінювати його здобутки лише за кількістю розв’язаних задач — неправильно, бо це не відображає реальної картини.

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

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

Формулювання задач може бути неточним або двозначним: у деяких випадках формулювання проблеми містить неточності або недоліки, що ускладнює правильне її розуміння. Це дозволяє штучному інтелекту «знайти рішення», яке насправді є лише обходом формулювання.

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

Багато проблем залишаються поза межами формалізації: навіть якщо ШІ розробляє доведення, його формалізація у системах типу Lean не гарантує абсолютної надійності. Можливі додавання нових аксіом, неправильне тлумачення задачі або використання «зовнішніх» поведінкових особливостей системи. Особливо слід звертати увагу на надкороткі або наднудні доведення.

Справжня #728番と# роль ШІ: від «фізичної роботи» до «містка знань»

У січні 2026 року було повідомлено, що задача Ердеша №729 повністю розв’язана за допомогою ШІ і перевірена у системі Lean. Це демонструє, що у певних сферах ШІ здатен створювати «можливу структуру доведення» і доводити її формально.

Яку ж роль відіграє ШІ у математичних дослідженнях? Терренс Тао виділяє кілька напрямків:

• Генерація повних розв’язків
• Визнання, що задача вже розв’язана
• Пошук у літературі та аналіз існуючих результатів
• Формалізація існуючих доведень у системах типу Lean

Особливо важливим є напрямок «автоматизованого аналізу літератури», де ШІ допомагає перевірити, чи існує вже рішення або чи правильна позначка «відкрита».

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

Майбутнє математики: керівництво людини і виконавча роль ШІ

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

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