新智元报道 刚刚，北京大学 AI for Math 团队宣布：他们独立完成了千禧年大奖难题之一——庞加莱猜想在 Lean 4 中的完整形式化！ 1904 年，庞加莱提出猜想；2002 年，俄罗斯数学天才佩雷尔曼给出不到 70 页的精简证明预印本；随后，数学界顶尖大脑耗费数年，写出 500 多页的专著
新智元报道 刚刚，北京大学 AI for Math 团队宣布：他们独立完成了千禧年大奖难题之一——庞加莱猜想在 Lean 4 中的完整形式化！ 1904 年，庞加莱提出猜想；2002 年，俄罗斯数学天才佩雷尔曼给出不到 70 页的精简证明预印本；随后，数学界顶尖大脑耗费数年，写出 500 多页的专著
By hugooxk10681