韦神主攻的千禧年难题，被Claude攻破了？

新智元报道原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。拓展阅读：刚刚，Claude 首次形式化证明费马大定理！清华姚班大神出手了出乎