01
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！
昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。
出乎我们意料的是，我们注意到了网络上流传的一张相关截图：
丘成桐先生悬赏 10 万元，征集对佩雷尔曼给出的庞加莱猜想证明的形式化验证！
庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都能收缩成一点，这个空间就一定同胚于三维球面。2006 年，数学界普遍认可了佩雷尔曼完成了庞加莱猜想的证明。
0
评论 (0)