🤖 ИИ

Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику

Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
Фото: Хабр — ИИ

OpenAI пишет, что их модель решила задачу тысячелетия, но не всё так однозначно: доказательство ещё предстоит проверить, а вокруг авторства разгорелся спор. В статье разбираемся, как вообще компьютеры понимают сложные науки и какие шаги делают ИИ в этой области. Ну и про историю с задачей Навье — Ст…

Полный материал — на сайте первоисточника

Мы публикуем лишь краткий анонс. Все права на материал принадлежат Хабр — ИИ.

Читать на habr.com ↗

Ещё по теме