姚班校友主导,Claude攻克费马大定理首个完整形式化证明

硅星人Pro 2026年09月06日 查看原文

已收录文章摘要,完整内容可前往原文阅读。

人类和费马大定理纠缠了三个半世纪,Claude这次只用了11天!?