ШІ у математиці: геній чи інструмент? Теренс Тао зупиняє нічну ідолопоклонство

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

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

Казка, яку ніхто не сумнівався

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

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

Коли дивишся на проблеми Ердеша, «розв’язані» ШІ, потрібно запитати себе: чи справді вони не були розв’язані? Чи просто не були добре задокументовані? Багато проблем у вебі, позначених як «Open», — це просто «низькі плоди», мало переглянуті. Деякі вже мали рішення в літературі, які ніхто не оновлював. Інші мають оригінальні формулювання з двозначним змістом, які ШІ «розв’язав» буквальною інтерпретацією.

Справжня робота ШІ: інженерія, а не інтуїція

Ось що цікаво: Теренс Тао не заперечує досягнення. Він переосмислює, що означає «досягнення».

ШІ чудово справляється з:

• Систематичним пошуком: сканування величезних просторів проблем
• Формальною перевіркою: перетворення доказів у перевіряємий код Lean
• Переписуванням: поліпшення існуючих аргументів
• Рутинними задачами: слідуванням відомим шаблонам

Що ШІ (ще) не робить — це те, що визначає справматематику: ставити правильні питання, створювати нові концепції, зв’язувати результати з мережею існуючих знань.

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

Математик майбутнього: стратег, а не самотній мислитель

Тут Тао знаходить баланс. Це не «ШІ проти Людства». Це «Людство + ШІ».

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

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

Заклик: припиніть ідолопоклонство, починайте співпрацю

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

Головне зараз — бути чесним: які проблеми справді розв’язала ШІ? Якою була їхня складність? Яку цінність вони додають дисципліні?

Бо справжня революція у математиці не станеться тоді, коли ШІ розв’яже більше проблем, ніж люди. Вона станеться, коли люди і машини разом відкриють істини, які ніхто з них не міг знайти самостійно.