OpenAI: внутренняя модель решила 372 открытые задачи математики

OpenAI сообщила, что невыпущенная внутренняя модель получила 372 результата, решающих или существенно продвигающих открытые задачи математики и теоретической информатики. Почти все они сгенерированы одним ИИ-агентом из одного промпта, часть уже проверена в Lean. Среди заявленного — решение четырёхмерной гипотезы Какии и прогресс по гипотезе Римана.

• 372 результата по открытым задачам математики и теоретической информатики
• Почти все получены одним ИИ-агентом из одного промпта
• Часть доказательств уже верифицирована в Lean
• Заявлено решение четырёхмерной гипотезы Какии и прогресс по гипотезе Римана