Теренс Тао, математик з Каліфорнійського університету в Лос-Анджелесі, якого вважають найвпливовішою фігурою в цій галузі, опублікував есе, в якому стверджує, що штучний інтелект штовхає математику в період турбулентності, який можна порівняти з основоположною кризою, яка змінила дисципліну століття тому. Стаття «Математика в епоху штучного інтелекту» з’явилася на arXiv 17 серпня і базується на публічній лекції Тао, прочитаній на Міжнародному конгресі математиків у 2026 році.
Це есе швидко стало одним із найбільш обговорюваних наукових текстів тижня серед дослідників та інженерів, залучаючи велику аудиторію на таких форумах, як Hacker News. Для галузі, яка протягом останніх трьох років обговорювала, чи справді штучний інтелект може виконувати математику на дослідницькому рівні, [аргумент Тао] (https://aibuzzwire.news) повністю змінює питання.
Криза цінностей, а не істини
Історичне обрамлення Тао є навмисним. Приблизно між 1900 і 1930 роками математика була потрясена парадоксом Рассела в 1901 році та теоремами про неповноту Геделя в 1931 році — відкриттями, які змусили математиків відмовитися від неофіційних припущень і побудувати явні, суворі основи, на яких цей предмет базується й сьогодні. Ця турбулентність, стверджує він, зрештою зробила математику сильнішою.
Паралель, яку він проводить, є точною: те, що зараз піддається стрес-тесту, — це не математична структура істини, а її «значним чином неявна структура математичних цінностей і практик» — те, чим спільнота вважає внесок, що вона винагороджує, що вона вважає зрозумілим і хто або що вона вважає виконавцем роботи. Подібно до того, як остання криза змусила імпліцитне стати явним, Тао стверджує, що ця криза змусить математиків кодифікувати цілі, які ніколи не потрібно було записувати.
Пропускаючи дебати про можливості
Найбільш вражаючим структурним вибором есе є те, що воно відмовляється сперечатися про те, чи може ШІ робити математику. Замість цього Тао обумовлює гіпотезу про те, що з’являться інструменти штучного інтелекту, здатні виконувати математичні завдання на дослідницькому рівні, і розглядає все, що стоїть за цим припущенням, як справжню проблему. Він називає це «питанням відповіді спільноти»: як має реагувати математична спільнота, а не те, чи реальні можливості.
Це свідомо ортогональний рух. Дебати щодо можливостей моделі, за словами Тао, нерозв’язні як абстрактно, так і поза суть. Актуальні питання — для чого потрібна математика і що насправді цінують її практики — вимагатимуть відповідей, навіть якщо завтра розвиток ШІ зупиниться.
Дефіцит доказів, велика кількість доказів і закон Гудхарта
Центральне місце в есе займає приклад розв’язування задач, компонент математичної практики, якому найбільше загрожує автоматизація. Тао досліджує, що відбувається, коли галузь переходить від економіки дефіциту доказів — де перевірені, оригінальні докази є рідкісними та цінними — до економіки надлишку доказів, де машинно-генеровані аргументи дешеві та численні.
Його список ключових слів вказує на те, що він охоплює: формалізація, помічники з доказів, рецензування, закон Гудхарта. Цей останній пункт — принцип, згідно з яким міра перестає бути хорошою мірою, коли вона стає ціллю — повторюється всюди. Кількість публікацій, результати конкурсу та походження теорем — усе це слугувало проксі для математичного внеску. У світі, де штучний інтелект може роздувати ці проксі-сервери в масштабі, спільнота повинна буде винагороджувати те, що вона насправді цінує, а не те, на що вона історично могла розраховувати.
Есе завершується рекомендаціями та оглядом нових робочих процесів — у тому числі формальних середовищ доказів, які сам Тао відстоював у експериментах з формально перевіреною математикою за допомогою ШІ — разом із відвертим визнанням того, що відповідь спільноти розвиватиметься разом із технологіями.
Чому реферат з математики важливий за межами математики
Тао — незвичайна фігура: володар медалі Філдса, який багато років працював безпосередньо з помічниками з доказів та інструментами ШІ, а не коментував їх на відстані. Це практичне залучення надає есе ваги за межі чистої математики, оскільки майже кожна дослідницька дисципліна стикається з тією ж інверсією, яку він описує. Експертне рецензування, авторство, авторство та визначення внеску знаходяться під однаковим тиском у фізиці, біології та інформатиці — галузях, у яких бракує столітньої переваги математики у викладенні своїх основ.
Прийом наразі говорить про те, що суперечка приземлилася. Теми обговорень зосереджувалися на трактуванні Дао від дефіциту до надлишку як корисної лінзи для наукових кіл загалом, приділяючи особливу увагу його думку про те, що криза цінностей, на відміну від кризи основ, не може бути вирішена невеликою групою логіків. Це має бути розроблено всією спільнотою — журналами, комітетами з найму, грантовими органами та математиками, чия кар’єра побудована на неявних нормах, які зараз перебувають під напругою.
Висновок Тао зрештою радше конструктивний, ніж тривожний. Фундаментальна криза створила надійну структуру, яка витримала століття випробувань. Ретельний, чесний аналіз того, що насправді цінує математика, стверджує він, міг би зробити дисципліну сильнішою та стійкішою, ніж раніше — за умови, що спільнота виконає роботу, щоб зробити свої неписані правила явними, перш ніж обставини зроблять вибір на її користь.
---
Будьте попереду ШІОтримуйте останні новини штучного інтелекту, аналіз і прориви — усе в одному місці.
Читати більше новин AI →
