.png)
近日，Anthropic宣布，由清华姚班校友Tianyi Peng主导，AI模型Claude仅用11天便攻克了费马大定理的首个完整形式化证明！该工程生成约1300万行Lean代码与超3万个中间定理，规模超核心数学库5倍，成功将人类证明转化为计算机可逐行核查的代码。项目借助Prove2Me平台与多智能体协作，大幅减少人工干预，标志着数学文献形式化迎来大规模提速。此外，OpenAI近日也向付费用户开放了最新模型GPT-6 Astra，主打长链路Agent与专业工作能力。两大AI巨头在科研与工程领域的竞争持续升级！
原文链接
本文链接：https://kx.umi6.com/article/37749.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "37749")
相关推荐
.png)
换一换
GPT-5.3上线Codex！OpenAI回应Claude新模型只用了15分钟
2026-02-06 11:46:30
OpenAI离职到估值千亿美元，Anthropic4年时间引硅谷巨头疯狂押注
2025-08-01 08:54:00
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
2026-03-03 19:23:13
Anthropic AI 聊天机器人 Claude 新增联网搜索功能
2025-03-21 12:19:50
GPT-5.6一发布，Claude终于舍得重置Fable 5额度了
2026-07-10 18:04:41
快速查账！领100美元免费积分，反被Claude偷设陷阱疯狂扣费
2026-07-23 17:58:28
LMArena排行榜：Claude、GPT-5、智谱GLM-4.6排名并列全球第一
2025-11-13 21:22:57
Claude网页版接入MCP！10款应用一键调用，开发者30分钟可创建新集成
2025-05-02 19:05:54
Claude估值暴涨300%！全球独角兽字节第三他第四
2025-09-03 12:44:37
性能提升 90%，Anthropic 首次公开多智能体系统构建全流程
2025-06-16 15:09:20
Claude三巨头回应一切！Opus3.5仍可能发布，5小时视频10万人围观
2024-11-12 17:08:51
美国网约车巨头 Lyft 同 Anthropic 达成合作：Claude 将为百万司机提供服务
2025-02-10 12:08:58
谷歌被曝正使用 Anthropic 的 Claude 模型来改进其 Gemini AI
2024-12-25 09:58:28
726 文章
923580 浏览
24小时热文
更多
-
2026-09-05 10:04:54 -
2026-09-04 19:40:20
-
2026-09-04 19:38:53
