待验证50% 置信事件精确时间
Anthropic宣布数十个Claude智能体借助Proof-2密平台，用11天完成了费马大定理的首个端到端机器可验证证明
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/9/7
首次发现
有效期至：2026/9/21
来源
涉及实体
相关事实
待验证668 号哈达玛猜想相关难题被 Anthropic 的数学家团队与 Claude 合作解开，2000 阶以下的情形被全部扫清67% 相似待验证Anthropic的机械可解释性研究成果《Towards Monosemanticity》通过稀疏自编码器在Claude模型中识别出数百万个可解释特征66% 相似待验证Anthropic的数学家与人类研究团队借助Claude成功构造出困扰数学界30年的668阶哈达马矩阵，并给出12张矩阵方案65% 相似待验证Anthropic在Claude的模型卡中明确了人在回路（Human-in-the-loop）原则，要求高风险操作必须经过人类确认61% 相似待验证2023年研究者利用稀疏自编码器（Sparse Autoencoder）从Claude模型中提取出数百万个可解释特征60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/874399API
curl https://kongchang.com/api/v1/knowledge/claims/874399MCP
get_claim(id=874399)