Какую-то прилизанную информацию вам выдали по этой теме. Там просто грандиозный скандал и возможно дело дойдет до суда потому как OpenAI прослышали о том, что Бакмастер и коллега близки к решению уравнения Эйлера, идеализированной формы уравнения Навье-Стокса.
В чем обвиняют компанию
Возможная утечка идей:** Математики Тристан Бакмастер и Левент Альпёге заявили, что использованный нейросетью редкий подход очень похож на их собственную, еще не до конца опубликованную работу. Они опасаются, что ИИ мог обучиться на их закрытых наработках или данных, доверенных облачным сервисам.
Кроме того, в описании хода решения
Весь процесс решения состоял из четырех ключевых этапов:
1. Подготовка и «разминка» на уравнениях Эйлера
Прежде чем атаковать основную задачу, инженеры OpenAI запустили предварительный тест. Небольшая группа из 100 ИИ-агентов за 50 часов опровергла регулярность более простых уравнений Эйлера (описывают идеальную жидкость без вязкости). Обнаружение математического «взрыва» в этой системе дало агентам необходимую базовую концепцию и математические заготовки для перехода к уравнениям Навье — Стокса. [1, 2, 3]
2. Диверсификация и разделение на группы
После запуска основного роя из 10 000 агентов они были разбиты на отдельные независимые группы. Каждой группе ИИ-агентов дали установку исследовать совершенно разные подходы к поиску сингулярности (точки «взрыва» уравнений). ИИ искал такие начальные условия, при которых плавно меняющаяся внешняя сила стягивает жидкость в вихрь, бесконечно наращивая скорость за конечное время. [1, 2, 3, 4]
3. Метод «перекрестного опыления» знаний (Cross-pollination)
Главным технологическим новшеством стала координация. Через определенные промежутки времени промежуточные результаты групп собирались воедино. С помощью ИИ-инструмента Codex система анализировала успехи каждой группы, вычленяла самые перспективные идеи и перераспределяла их в виде обновленных промптов (инструкций) для остальных агентов.
За 88 часов агенты в этой экосистеме успели отправить друг другу 2,7 миллиона сообщений и сгенерировать колоссальные 130 миллиардов токенов текста и кода. [1, 2]
4. Автоматическая верификация и формализация (17 часов)
Когда агенты выстроили финальную логику доказательства, к работе подключили модель GPT-6 Astra. Ей потребовалось еще 17 часов, чтобы перевести и зафиксировать полученные математические выкладки в строгий машинный код на языке интерактивного доказательства теорем Lean. Это позволило автоматически подтвердить отсутствие логических ошибок в цепочке рассуждений ИИ.
так что с этой задачей все очень и очень не просто …
Планируемые суммы и оценка
