Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
OpenAI пишет, что их модель решила задачу тысячелетия, но не всё так однозначно: доказательство ещё предстоит проверить, а вокруг авторства разгорелся спор. В статье разбираемся, как вообще компьютеры…
Хабр
Повний текст, переклад і AI-підсумок — після входу
- Повний текст статті вашою мовою
- AI-підсумок і переклад з оригіналу
- Той самий акаунт працює в додатку Suviy
Схожі матеріали
Коментарі
Увійдіть, щоб долучитися до обговорення. Увійти
Коментарів поки немає.