25 лауреатов Филдсовской премии выступили в защиту фундаментальной науки от ИИ-математики

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

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

Помимо методических проблем, авторы письма указывают на кризис доверия и размывание авторства: алгоритмы опираются на десятилетия чужого труда, часто без должного указания источников. Математики опасаются, что необходимость конкурировать с гигантскими вычислительными мощностями разрушит культуру открытого научного обмена: исследователи просто перестанут публиковать промежуточные наработки из страха, что их бесплатно поглотят чужие модели. Конфликт уже выходит за рамки академических дискуссий — так, OpenAI недавно отозвала спонсорскую поддержку математического мероприятия в Калифорнийском технологическом институте из-за критики ученых. Лауреаты призывают не отказываться от технологий, а пересмотреть подход к их внедрению, чтобы за сиюминутным ответом не потерялся сам смысл фундаментального знания.