待验证50% 置信事件精确时间

Xena项目负责人在博客中坦言Anthropic抢先完成了费马大定理的形式化

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/6

首次发现

有效期至：2026/12/5

来源

费马大定理机器验证完成：AI形式化证明的里程碑突破

涉及实体

Xena项目product Anthropiccompany

相关事实

待验证作者在 Reddit 上介绍了 Xberg 项目66% 相似待验证Anthropic此前曾对Qwen提出类似蒸馏指控58% 相似待验证Ego4D设计了「过去的我在哪里放了X？」这一专属基准任务56% 相似待验证该文章由B站创作者'为什么叫QQ'对Anthropic官方博客进行深度分析后整理55% 相似待验证多位Reddit网友对该Logo产生了与创始人意图不同的非预期联想52% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/866127

API

curl https://kongchang.com/api/v1/knowledge/claims/866127

MCP

get_claim(id=866127)