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

一则Reddit帖子声称有人用OpenAI的Dots搭建了智能体集群，在零成本前提下刷新了一项尘封47年的数学纪录，并用Lean对证明进行形式化验证

来源数

50%

置信度

短期 (~14 天)

时效性

2026/10/6

首次发现

有效期至：2026/10/20

来源

Stable URI

https://kongchang.com/claim/979799

API

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

MCP

get_claim(id=979799)