[
控场AI
]
知识动态
实体
播客
深度
开发者
关于
Get CLI
EN
人物
安德鲁·怀尔斯 / 安德鲁·怀尔斯
Andrew Wiles
英国数学家,普林斯顿大学教授,因于1994年完成费马大定理的完整证明而闻名于世,获菲尔兹奖特别奖及阿贝尔奖
来源文章
Claude自主证明费马大定理:AI形式化验证的里程碑突破
9月12日