OpenAI заявляет, что внутренняя модель нашла решение Millennium Prize-задачи о Навье—Стоксе
OpenAI
OpenAI опубликовала аналитическое доказательство и формализацию в Lean того, что гладкая 3D-жидкость под действием гладкой внешней силы может развить сингулярность за конечное время — по её заявлению, это устанавливает утверждения C и D официальной формулировки Millennium Prize. Доказательство получено координирующим роем примерно из 10 000 агентов за 88 часов на внутренней модели, описываемой как значительно более мощная, чем GPT-6 Astra, плюс ещё 17 часов верификации в Lean. OpenAI заявляет, что не будет претендовать на премию Clay, и признаёт параллельную приоритетную работу математиков Тристана Бакмастера и Левента Алпоге по forced Euler, которые обвиняют OpenAI в перехвате работы, которой они занимались почти год; OpenAI не исключает, что обезличенные данные использования помогли улучшить модель.
Почему это важно
Первое сгенерированное ИИ и машинно проверенное кандидатное решение задачи Millennium Prize — и немедленный спор о происхождении обучающих данных и авторстве в математике, ускоряемой ИИ.
Важность: 5/5
Первое кандидатное решение задачи Millennium Prize с помощью ИИ от frontier-лаборатории; 4 независимых источника