Решение сгенерировано искусственным интеллектом и включает формальное доказательство в Lean. Это касается Millennium Prize Problem.
OpenAI представила решение Навье-Стокса
OpenAI поделилась решением задачи Навье-Стокса, сгенерированным ИИ, включая описание и формальное доказательство в Lean.
Источник: openai.com
Открыть в ArenaPulse