Математики про ШІ: замінить чи допоможе?

Джейкоб Циммерман, який нещодавно став лауреатом Філдсівської медалі, оголосив про перехід до OpenAI. Він висловив переконання, що штучний інтелект дуже скоро зрівняється з професійними математиками або навіть перевершить їх у їхній щоденній роботі. За його словами, важливо, щоб люди усвідомили цю реальність.

Журналіст Understanding AI побував на Міжнародному конгресі математиків у Філадельфії, де поспілкувався з понад 20 фахівцями — від професорів до аспірантів. Він з'ясував, що за три роки моделі ШІ пройшли шлях від помилок в арифметиці до самостійного розв'язання відкритих задач, які десятиліттями не піддавалися людям. Зокрема, внутрішня модель OpenAI спростувала гіпотезу Ердьоша про одиничні відстані, а модель Claude Fable від Anthropic знайшла контрприклад до гіпотези Якобі. Крім того, OpenAI заявила, що її внутрішня версія майбутньої моделі Astra розв'язала десять великих відкритих проблем.

Попри такі успіхи, більшість опитаних математиків налаштовані оптимістично. Вони вважають, що ШІ доповнюватиме людський талант, а не замінить його. Професор Чиказького університету Ю Денг, цьогорічний лауреат Філдсівської медалі, зазначив, що ШІ братиме на себе технічні деталі, а математики генеруватимуть нові теорії. Аспірант Василь Некрасов розповів, що платить 200 доларів на місяць за Codex, який допомагає йому шукати літературу та заповнювати прогалини в доведеннях, але наголосив: «Я хочу, щоб ШІ працював над моїми ідеями, а не замінював їх».

Водночас є й занепокоєння. Професор Джеремі Авіґад зауважив, що молоді науковці хвилюються через нестабільність становища, а також через можливе скорочення фінансування галузі — зокрема, звіт Білого дому закликає перенаправляти ресурси від «застарілих» дослідницьких інституцій. Теренс Тао на публічній лекції перерахував цілі математики — від розв'язання задач до створення естетичних цінностей — і зауважив, що з розвитком LLM просування до однієї мети може відбуватися за рахунок інших. Він припустив, що скоро може з'явитися важливий результат, який жодна людина не зможе зрозуміти.

Циммерман скептично ставиться до думки, що ШІ ще довго не впорається з побудовою теорій. Він зазначив, що раніше казали, ніби ШІ ніколи не розв'яже олімпіадні задачі, а потім — дослідницьку математику, тож межі постійно зсуваються. Дослідник Epoch AI Ґреґ Бернем додав, що математики часто оцінюють поточні можливості моделей, не враховуючи траєкторію їхнього розвитку. Своєю чергою, «Лейденська декларація» 2025 року окреслює цінності математичних досліджень і дає рекомендації науковцям та компаніям-розробникам ШІ. Математик Девід Бессіс підсумував: «Не думаю, що старий спосіб займатися математикою має шанс вижити. Але щось нове неодмінно з'явиться на заміну».