Математики о влиянии ИИ на науку: где прогресс, а где хайп

В статье Habr AI «Что математики говорят про влияние ИИ на математику?» собраны интервью с ведущими учёными – от академиков до молодых исследователей. Они отмечают, что в последние годы появилось множество заголовков типа «ИИ решил задачу тысячелетия», но реальная картина более нюансированная.

Задачи, где ИИ уже эффективен – это, в первую очередь, огромные вычисления, проверка больших доказательств и поиск контрпримеров. Системы вроде Lean, Coq и ChatGPT‑4‑Turbo уже умеют автоматически проверять формальные доказательства, а модели глубокого обучения генерируют новые гипотезы в теории графов и комбинаторике. По словам профессора А. Иванова, такие инструменты ускоряют рутинную работу и позволяют математикам сосредоточиться на более творческих аспектах.

То, что остаётся человеческим – интуитивное понимание, построение новых концепций и «математический вкус». Математики подчеркивают, что ИИ пока не способен к истинному креативному мышлению: он оперирует статистикой, а не глубоким смысловым осмыслением. Как отмечает доктора наук Е. Петров, «интуиция, которую мы развиваем годами, пока вне досягаемости алгоритмов».

Риски и опасения включают переоценку возможностей ИИ, появление «псевдонаучных» заявлений и снижение критического мышления у студентов, если полагаться исключительно на автоматические доказательства. Некоторые эксперты призывают к введению новых курсов, где обучают совместной работе человека и машины.

Перспективы – развитие гибридных систем, где ИИ генерирует гипотезы, а человек их проверяет и формулирует. В статье также упомянуты планы крупных исследовательских центров по созданию открытых библиотек формальных доказательств, доступных каждому.

Ссылка на оригинал: https://habr.com/ru/companies/kodik/articles/1081264/