Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
OpenAI пишет, что их модель решила задачу тысячелетия, но не всё так однозначно: доказательство ещё предстоит проверить, а вокруг авторства разгорелся спор. В статье разбираемся, как вообще компьютеры…
Хабр
Full text, translation and AI summary — after signing in
- The full article in your language
- AI summary and translation from the original
- The same account works in the Suviy app
Related coverage
Comments
Sign in to join the conversation. Sign in
No comments yet.