← к умной ленте

OpenAI заявила о решении задачи Навье—Стокса и более 100 открытых задач в математике, создала консультативную группу учёных

OpenAI сообщила, что её новая внутренняя модель (её называют BEL) решила не только знаменитую задачу Навье—Стокса, но и более 100 других давно открытых задач из разных областей математики. Обучение модели начали 28 августа, а темп прогресса, по словам компании, удивил даже её штатных математиков.

Это произошло на фоне скандала: математическое сообщество раскритиковало AI-лаборатории за гонку по решению известных задач ради демонстрации силы моделей, из-за которой не остаётся времени на проверку доказательств, объяснение новых методов и признание вклада предыдущих исследователей. В ответ OpenAI создала независимую консультативную группу из девяти учёных, но прямо уточнила: советоваться с ними будут о публикации результатов, а не о замедлении темпов исследований.

более 100открытых математических задач решено
9учёных в консультативной группе
3обладателя Филдсовской медали в группе
  • Задача Навье—Стокса — одна из задач тысячелетия: вопрос, остаётся ли гладкое решение уравнения несжимаемой жидкости в трёхмерном пространстве гладким навсегда или может за конечное время создать сингулярность; ранее прорыв в этой теме сделал Теренс Тао, попытавшись не доказать отсутствие срыва, а построить его — контрпример в виде «компьютера из воды», задавшись вопросом «может ли вода вычислять?»
  • Консультативная группа создана при Institute for Advanced Study в Принстоне, состоит из 9 учёных, среди них три обладателя Филдсовской медали: Тимоти Гауэрс (Кембридж, Коллеж де Франс, комбинаторика), Мартин Хайрер (EPFL, Imperial, уравнения со случайными воздействиями) и Эдвард Виттен (IAS, теория струн)
  • Мандат группы: оценивать значимость результатов ИИ, консультировать по координации их публикации и следить за соблюдением академических и профессиональных стандартов — но не советовать OpenAI, как замедлять внутренний темп исследований
  • Группа не получает финансирования от OpenAI, может публично комментировать влияние компании на математику и сама определяет свой состав
  • Теренс Тао примерно за 10 дней до создания группы заявил: «ИИ катком проходит по всей математике. Нам нужно замедлиться. Темп безумный»
  • По данным e/acc, параллельно OpenAI, Google и Anthropic в значительной степени автоматизировали процесс проведения экспериментов при обучении новых моделей
  • Заявление о 100+ решённых задачах пока принадлежит только самой OpenAI — независимая проверка результатов ещё впереди
Что дальше

Независимая проверка заявленных решений и координация их публикации через группу при Institute for Advanced Study ещё впереди; при этом OpenAI явно оставила за собой право не замедлять темп внутренних исследований, несмотря на призывы Теренса Тао и других математиков.

Это произошло: Simons Foundation запускает инициативу на $15 млн для оценки ИИ-доказательств →

Обсуждение

0
В

Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖