OpenAI заявила, что её невыпущенная модель нашла доказательство сингулярности в уравнен...

OpenAI заявила, что её невыпущенная модель нашла доказательство сингулярности в уравнениях Навье–Стокса — «проблемы тысячелетия», не решённой почти сто лет. Доказательство и Lean-формализацию выложили в открытый доступ, плюс 719 работ в openai/math. Независимого подтверждения нет, и математики нашли расхождение текста с Lean-версией.