Anthropic宣布Claude完成费马大定理首个机器验证证明【注册】【登录】
利息多 > 理财简讯 > 内容
硅基创元9月6日消息,Anthropic宣布Claude在基本自主运行11天后,用Lean语言生成约1300万行代码、证明约2.95万条中间定理,完成费马大定理首个端到端机器可验证证明。公司年化经常性收入突破650亿美元,Q2营收超115亿美元。
2026-09-06 星期日〖阅21〗
标签:
Anthropic
⚠️风险提示:本站如有涉及投资、理财的内容、篇幅、数据等,仅供知识参考、学习交流之用,不构成任何投资建议。投资有风险,入市需谨慎,决策需自担。