1. OpenAI проигнорировала предыдущее соглашение и выпустила сразу более 700 документов по математическим доказательствам ИИ, Теренс Тао «объявил войну» OpenAI. Суть инцидента: Ассоциация человеческой математики (AHM) во главе с обладателем медали Филдса Теренсом Тао опубликовала совместное заявление, публично бойкотируя OpenAI. Триггер: OpenAI проигнорировала консенсус, достигнутый с консультативной группой математиков, о том, что «внутренние модели не должны использоваться для тестирования сложных математических задач без разрешения», и опубликовала более 700 документов математических доказательств, созданных ИИ одновременно. Причины, по которым математики злятся: Гегемония вычислительной мощности: ИИ использует очень низкую стоимость (в среднем 3 часа вычислительной мощности) для решения исследований, на выполнение которых учёным потребуются годы, демонстрируя презрение к интеллектуальному труду человека. Низкое качество...
1. OpenAI проигнорировала предыдущее соглашение и выпустила сразу более 700 документов по математическим доказательствам ИИ, Теренс Тао «объявил войну» OpenAI.
Суть инцидента: Ассоциация человеческой математики (AHM) во главе с обладателем медали Филдса Теренсом Тао опубликовала совместное заявление, публично бойкотируя OpenAI.
Триггер: OpenAI проигнорировала консенсус, достигнутый с консультативной группой математиков, о том, что «внутренние модели не должны использоваться для тестирования сложных математических задач без разрешения», и опубликовала более 700 документов математических доказательств, созданных ИИ одновременно.
Причины, по которым математики злятся:
Гегемония вычислительной мощности: ИИ использует очень низкую стоимость (в среднем 3 часа вычислительной мощности) для решения исследований, на выполнение которых учёным потребуются годы, демонстрируя презрение к интеллектуальному труду человека.
Плохое качество: доказательства, генерируемые этими ИИ, логически запутаны, неясны (описаны как «инопланетная сумасшедшая логика»), им не хватает читабельности и строгости, что вынуждает математиков-людей становиться бесплатными «инструментами проверки проблем».
Академическое загрязнение: после того, как ИИ «заявит, что проблема решена», он загрязнит первоначальное направление исследований и задушит традиционные исследовательские направления, которые могут привести к более глубоким открытиям.
Разные взгляды:
Сопротивляющиеся, такие как Теренс Тао: считают, что варварское развитие ИИ разрушает суть математики, вызывая «несварение доказательств», и призывают математиков прекратить сотрудничество с OpenAI.
Ян Ликунь (лауреат премии Тьюринга): Я настроен оптимистично и верю, что это знаменует собой новую эру в математике, когда формальные доказательства будут автоматизированы, а вместо этого люди должны сосредоточиться на разработке новых концепций и новых гипотез.
Краткое содержание одним предложением: лидер математики Теренс Тао вместе со многими математиками официально объявил всесторонний бойкот, потому что OpenAI в больших масштабах опубликовала некачественные и нечитаемые доказательства, созданные ИИ, разрушая академические нормы и экологию научных исследований.
2. Как может выглядеть будущая битва за развитие математики?
Есть большая вероятность, что эта битва не закончится «полной победой одной стороны», а перекроет производственные отношения в математическом сообществе: OpenAI не отзовет 722 опубликованные статьи (сейчас 719 статей), а «бойкот» AHM вряд ли станет общеотраслевым жестким запретом, но математическое сообщество обязательно перепишет порог приема и правила распределения зачетных единиц. Разложим по временным масштабам.
Краткосрочные (3–12 месяцев): поверхностный тупик, секретная диверсия.
OpenAI здесь не отступит
Официальный калибр установлен: это выпуск «обширных математических результатов» с бережливой формализацией, 10 тезисами рассуждений и обязательством участвовать в семинарах и конференциях.
Запись о пересмотре склада все еще обновляется, и 3 статьи были отозваны (ошибки символов Вейля и две поверхностные статьи K3), в результате чего осталось 719 статей, что показывает, что они предпочитают «исправлять по ходу дела», а не «вернуть все обратно и начать заново».
Модель не публикуется, приглашение не публикуется, а Проблемы закрыты - эти три действия по сути заявляют, что OpenAI не вернется к старому пути «сначала прохождения экспертной оценки перед публикацией».
Математическое сообщество на самом деле не «объединится для борьбы насмерть».
В самом заявлении AHM нет механизма санкций. «Бойкот» — это медиа-слово; Тао Чжэсюань разместил блог в виде гостевого репоста, не объявляя войну от своего имени.
25 обладателей медали Филдса ранее подписали петицию, в которой говорилось: «Противодействуйте ритму и спешите служить», а не «Противодействуйте искусственному интеллекту, занимающемуся математикой».
Молодые учёные сопротивляются этому на словах, но тайно используют его руками – особенно формальную часть бережливого производства, которая сама по себе является твёрдым продуктом, который можно использовать снова и снова.
Итак, реальная картина на данном этапе такова:
OpenAI продолжает поступать → Лучшие математики выбирают несколько результатов, которые «понятны, цитируемы и могут быть использованы в лекциях» для усвоения → Большинство 719 статей находятся на GitHub