Expired50% confidenceEventExact time
Anthropic announced that dozens of Claude agents, with the help of the Proof-2 platform, completed the first end-to-end machine-verifiable proof of Fermat's Last Theorem in 11 days.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
9/7/2026
First Seen
Valid until: 9/21/2026(expired)
Sources
Related Entities
Related Claims
Unverified668 号哈达玛猜想相关难题被 Anthropic 的数学家团队与 Claude 合作解开，2000 阶以下的情形被全部扫清67% similarUnverifiedAnthropic's mechanistic interpretability research paper "Towards Monosemanticity" identified millions of interpretable features in the Claude model using sparse autoencoders66% similarUnverifiedAnthropic's team of mathematicians and human researchers, with the help of Claude, successfully constructed a Hadamard matrix of order 668—a problem that had stumped the mathematics community for 30 years—and provided 12 matrix solutions.65% similarUnverifiedAnthropic explicitly states the Human-in-the-loop principle in Claude's model card, requiring that high-risk operations must be confirmed by a human.61% similarUnverifiedIn 2023, researchers used Sparse Autoencoders to extract millions of interpretable features from the Claude model.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/874399API
curl https://kongchang.com/api/v1/knowledge/claims/874399MCP
get_claim(id=874399)