国际大厂·· 6 小时前AI 评估 · 71/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
丘成桐弟子团队联合NVIDIA完成Thurston几何化猜想Lean形式化
丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！
AI 导读
普林斯顿学者Ayush Khaitan带队，联合丘成桐弟子周培能（Bennett Chow）与NVIDIA Humanfia团队，完成了Thurston几何化猜想的完整Lean形式化。
来源：国际大厂 · mp.weixin.qq.com