25 лауреатов Филдсовской премии против превращения математики в бенчмарк для ИИ
Редакция XORit · Источники, использование AI и исправления
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 · Лицензия
Редактор перевода: Салтанов А.
Источник материала: mathandai.org ↗