Tech Meridian ← К ЛЕНТЕ
PROМОЙ MERIDIAN EN

НОВОСТЬ · COMPANIES · #1610

Математики критикуют OpenAI из‑за планируемого выпуска математических решений, сгенерированных ИИ

WIRED сообщает, что OpenAI проинформировала около 40 математиков о том, что её внутренная модель решила задачу тысячелетия Навье–Стокса и более 100 других давних открытых задач, и планирует опубликовать сотни результатов (по сообщениям — через GitHub). Участники встречи и другие математики жалуются, что OpenAI и Anthropic публикуют результаты через блоги и «дампы», а не в форме рецензируемых статей с надлежащим указанием авторства, что привело к спорам о приписываемости, включая обвинение Тристана Бакмастера в «опережающем» присвоении результатов.

КЛЮЧЕВЫЕ ТЕЗИСЫ

  1. WIRED сообщает, что OpenAI проинформировала около 40 математиков о том, что её внутренная модель решила задачу тысячелетия Навье–Стокса и более 100 других давних открытых задач, и планирует опубликовать сотни результатов (по сообщениям — через GitHub).
  2. Участники встречи и другие математики жалуются, что OpenAI и Anthropic публикуют результаты через блоги и «дампы», а не в форме рецензируемых статей с надлежащим указанием авторства, что привело к спорам о приписываемости, включая обвинение Тристана Бакмастера в «опережающем» присвоении результатов.
  3. Если это подтвердится, массовая публикация нерецензируемых математических доказательств, созданных ИИ, может подорвать научные нормы верификации, авторства и публикации в математике.

ПОЧЕМУ ЭТО ВАЖНО

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

ИСТОЧНИКИ И ХРОНОЛОГИЯ

1