[Лучшие статьи за неделю / Математика / Хабр]
Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
#lean #openai #задачи_тысячелетия #ии_агенты #ии_в_науке #искусственный_интеллект #математика #математические_доказательства #научные_исследования #формализация

Читать