Конфликт математиков и OpenAI вокруг доказательств задач тысячелетия
D@droidergramавтор про «tech»
3 недОбзор конфликта между OpenAI и математическим сообществом из-за обвинений в использовании чужих наработок при решении сложных математических задач.
ИИ-компании начинают доминировать в фундаментальной науке, что порождает серьезные этические и правовые споры об авторстве.
- ИИ-модели способны решать задачи, над которыми ученые бились десятилетиями.
- Возникает конфликт интересов между скоростью публикаций ИИ-лабораторий и академической этикой.
- Создание группы AGMAI знаменует попытку математиков установить правила взаимодействия с ИИ-разработчиками.
🧮 Математики против OpenAI
The Verge собрал в одну хронику всю драму вокруг того, как ИИ врывается в математику. Коротко — о главном.
Гонка идёт не первый месяц. OpenAI, Anthropic и другие лаборатории отчитываются о решениях давних задач, причём порой результаты превосходят то, чего от ИИ ждали сами математики. В начале августа OpenAI показала решения десяти многолетних проблем — над некоторыми бились десятилетиями. А в сентябре заявила, что справилась с задачей Навье — Стокса о течении жидкостей и газов. Это одна из семи «задач тысячелетия» с призом в $1 млн, и её не могли решить около 90 лет. Работала внутренняя модель мощнее GPT-6 Astra вместе с 10 000 параллельных агентов. Забирать приз компания не планирует.
Триумф испортила одна деталь. Всего за день до анонса профессор Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Алпёге опубликовали результат по смежной задаче. Работали они с Codex и Claude, а все черновики хранили в Codex. Бакмастер утверждает, что OpenAI пришла к доказательству тем же путём, и на вопрос, училась ли модель на их сессиях, ответа так и не получил. В OpenAI ответили, что конкретные данные пользователей не использовались, но признали: хоть это и маловероятно, обезличенные данные могли помочь улучшить модели. А сотрудник компании Себастьен Бубек настаивает: доказательства заметно отличаются.
Дальше — обвинения в перехвате чужих результатов, вопросы о происхождении обучающих данных и тихие правки уже опубликованных документов. В The Verge суть конфликта сформулировали так: математики хотят развивать науку, а OpenAI хочет побеждать.
Попыткой навести мосты стала независимая группа AGMAI из девяти ведущих математиков: она будет советовать ИИ-компаниям, как проверять и подавать новые результаты. Её участник Мартин Хайрер подчёркивает, что денег от OpenAI группа не получает. Но напряжение только растёт: OpenAI утверждает, что её закрытая модель уже решила больше 100 давних задач, и готовит их к публикации.
@droidergram
КонтекстAI
Речь идет о серии недавних заявлений OpenAI о прорывах в решении математических проблем. Конфликт обострился после того, как OpenAI анонсировала решение задачи Навье — Стокса вскоре после того, как ученые Тристан Бакмастер и Левент Алпёге опубликовали свои результаты по смежной теме, используя инструменты OpenAI и Anthropic. Это вызвало вопросы об этике использования данных пользователей и прозрачности обучения ИИ-моделей.
Кратко (AI)
OpenAI заявила о решении ряда сложных математических задач, включая одну из «задач тысячелетия» — уравнение Навье — Стокса. Математики обвиняют компанию в использовании их неопубликованных наработок для обучения моделей, что привело к созданию независимой группы AGMAI для контроля за публикациями ИИ-лабораторий.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖