25 лауреатов Филдсовской медали — это практически весь список живых легенд математики. Когда столько людей одновременно подписывают открытое письмо против одной компании, стоит прислушаться. Их претензия к OpenAI не про качество моделей. Она про то, кто получает признание за интеллектуальный труд, когда в дело вступает AI, способный выдать решение за один уикенд вычислений.
Профессор Нью-Йоркского университета Тристан Бакмастер обвинил OpenAI в давлении с целью не упоминать соавтора, работающего в Anthropic, который помог решить важную математическую задачу. Более того, Бакмастер задался вопросом: не использовала ли компания чужую работу через свой инструмент Codex, чтобы затем выдать эффектное доказательство уравнений Навье-Стокса за собственное открытие. На этой неделе OpenAI отозвала спонсорство математического мероприятия в Калтехе — после того как исследователи университета публично раскритиковали компанию.
Суть претензии математиков глубже, чем спор о плагиате. Решения, утверждают они, объявляются в спешке — без времени на нормальное оформление доказательства, без вычленения новых методов, без ссылок на предшествующие работы. «Как и во всех творческих профессиях, это поднимает серьёзные вопросы об авторстве и плагиате», — пишут авторы письма. Без математиков, готовых довести идею до ума и встроить её в общий канон науки, даже гениальное AI-доказательство останется мёртвым грузом — так и не станет частью живой цепочки передачи знания между учёными.
Письмо продолжает тему Лейденской декларации, выпущенной рабочей группой математиков в июне — там уже пытались сформулировать, как жить дальше, когда доказательства пишут нейросети. Опасение общее: если лаборатории готовы тратить десятки миллионов долларов, чтобы опередить живых исследователей и первыми застолбить открытие, это стимулирует не сотрудничество, а скрытность и гонку. Авторы письма прямо предупреждают: то, что сегодня происходит с математикой, завтра коснётся любой творческой и научной области. Ваша тоже не исключение.
Во что углубиться:
- Филдсовская медаль: почему она считается более престижной, чем Нобелевская премия для математиков
- Проблема Навье-Стокса: в чем суть одной из самых сложных задач современной математики
- Leiden Declaration on AI: какие рекомендации дают ученые по использованию нейросетей в исследованиях