Unverified50% confidenceEventExact time
The head of the Xena Project acknowledged in a blog post that Anthropic had completed the formalization of Fermat's Last Theorem ahead of them.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/6/2026
First Seen
Valid until: 12/5/2026
Sources
Related Entities
Related Claims
Unverified作者在 Reddit 上介绍了 Xberg 项目66% similarUnverifiedAnthropic previously raised similar distillation allegations against Qwen58% similarUnverifiedEgo4D设计了「过去的我在哪里放了X？」这一专属基准任务56% similarUnverifiedThis article was compiled by Bilibili creator 'Why is it called QQ' after conducting an in-depth analysis of Anthropic's official blog.55% similarUnverifiedSeveral Reddit users formed unintended associations with the logo that differed from the founder's intention52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/866127API
curl https://kongchang.com/api/v1/knowledge/claims/866127MCP
get_claim(id=866127)