Unverified50% confidenceEventExact time
一则Reddit帖子声称有人用OpenAI的Dots搭建了智能体集群，在零成本前提下刷新了一项尘封47年的数学纪录，并用Lean对证明进行形式化验证
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/6/2026
First Seen
Valid until: 10/20/2026
Sources
Related Entities
Related Claims
Cite This Claim
Stable URI
https://kongchang.com/claim/979799API
curl https://kongchang.com/api/v1/knowledge/claims/979799MCP
get_claim(id=979799)