## ШІ у математиці: між міфом і реальністю, Терренс Тао натискає на гальма

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

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

### Проблема дезконтекстуалізованої інтерпретації

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

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

### Сценарій із упередженістю через видимість

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

Крім того, коли Тао аналізує, як формалізується доказ у таких асистентах, як Lean, він виявляє тонкі пастки: додаткові аксіоми, неправильно інтерпретовані твердження, використання особливостей математичних бібліотек. Формально перевірений доказ не завжди означає справжню концептуальну валідність.

### За межами правильної відповіді

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

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

### Що насправді робить ШІ

Тао обережний, але справедливий у своїй оцінці. ШІ відмінно працює як складовий інструмент: пошук літератури, переписування аргументів, формалізація існуючих доказів, автоматична перевірка, слідкування за рутинами. У конкретних випадках, наприклад, задачі #728 y el #729, були отримані повні перевірені рішення у Lean на початку січня 2026 року, що доводить, що у певних нішах ШІ справді може створювати «структури доказів, що можна виконати».

Але це не означає повну математичну здатність. ШІ не є математиком; це складовий компонент у ланцюгу інструментів.

### Майбутнє без ідолопоклонства

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

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