25 лауреатов Филдсовской премии против превращения математики в бенчмарк для ИИ

25 лауреатов Филдсовской премии — высшей награды в математике — опубликовали совместную декларацию «Math and AI». Среди подписавших — Теренс Тао, Питер Шольце, Пьер Делинь, Алессио Фигалли и другие известные математики.

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

Претензия — в неверной расстановке целей. Для ИИ-лабораторий решение знаменитых задач превратилось в бенчмарк, тогда как цель математики — не готовый ответ, а понимание и новые идеи.

Авторы напоминают: знаменитые задачи исторически служили ориентирами. Их решение было признаком новых методов и идей, которые сообщество потом годами осмысляло — в докладах, обсуждениях и учебниках.

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

По мнению авторов, без живых математиков, которые развивали бы идеи ИИ и встраивали их в научный канон, потеряется цепочка передачи знания. Проблема, подчёркивают они, шире одной дисциплины — это часть общей угрозы интеллектуальному труду в науке и творческих профессиях.

Изображение: This SVG image was created by Medium69 .
Cette image SVG a été créée par Medium69 .
Please credit this : William Crochot CC BY-SA 4.0 · Лицензия

Изображение: Ivonne Vetter CC BY-SA 2.0 de · Лицензия