Математики с поддержкой программы DARPA expMath завершают формализацию в Lean доказательства Гамильтона — Перельмана гипотезы Пуанкаре: около 4,7 млн строк кода примерно за две недели
· Наука
- технология
- ИИ в математике
- источник
- arxiv.org ↗
¶ c4kpn92nr