Математики, ранее формализовавшие доказательство гипотезы Пуанкаре, вместе с командой NVIDIA завершают формализацию в Lean доказательства Гамильтона — Перельмана гипотезы геометризации Тёрстона
· Наука
- технология
- ИИ в математике
- источник
- arxiv.org ↗
¶ cvfipuhg6