Філдсовський лауреат Теренс Тао опублікував звіт «Математика в епоху ШІ»

TL;DR

• •Звіт «Математика в епоху ШІ» опублікований Теренсом Тао 23 серпня 2026 року; доступний у вигляді HTML-сторінки з двома режимами складності та коментарями переводчика.
• •У якості етапів роботи математика виокремлено: вирішити, перевірити, пояснити, добитися приняття, довести до канону; кожен етап аналізується під призмою впливу ШІ.
• •Тао попереджає, що AI може генерувати правдоподібні докази за вечір, збільшуючи ризик помилок без людського тріння та критичного погляду.
• •Відсутність «тріння» в AI-текстах може призвести до модельного колапсу, коли помилки закріплюються в каноні і підкріплюють себе в наступних моделях.
• •Автор зазначає, що готового решения проблем немає, потребує спільних зусиль суспільства та прозорості у використанні AI для формалізації та перевірки.

Як це змінить ваш ринок?

Висші навчальні заклади зможуть скорочувати час на формалізацію доказів за допомогою AI-інструментів типу Lean, проте ризик автоматичного прийому помилкових тез вимагає нових протоколів перевірки. Це може призвести до внесення обов’язкових етапів людської рецензування перед публікацією AI-асистентних результатів. У галузях, де критична точність — фінанси, аерокосмос, медичні пристрої — інтеграція AI у процес доведення вимагає двокрокової схемы: перша — генерація кандидатом AI, друга — обов’язкова перевірка людиною за допомогою формальних методів. Такий підхід зменшує ймовірність системних помилок, зберігаючи при цьому продуктивність.

Визначення: Модельний колапс — явиник, коли помилки, згенеровані AI-моделями, потрапляють у навчальний набір і підкріплюють себе, призводь до погіршення якості наступних поколень моделей.

Для кого це і за яких умов

Для університетів та дослідницьких лабораторій: доступ до інструментів формалізації (Lean, Rocq, HOL Light) — безкоштовно або за низькою підпискою, потрібен один дослідницький спеціаліст з математики та ШІ, мінімальний масштаб — одна група, час на впровадження — 1-2 тижні для налаштування workflow. Для технологічних компаній, що розробляють системи на основі формальної верифікації (блокчейн, криптопротоколи, avionics), рекомендується vytvoriти внутрішній чек‑лист, який включає етап AI‑пропозиції та обов’язкову людську верифікацію. Бюджет на інструменти — від $0 до $500/міс на ліцензії розширення, а час на адаптацію процесу —约 3 тижні.

Альтернативи