Hacker News· jychang·· 12 天前AI 评分42
用 OpenAI Dots 组成智能体集群免费证明新数学，Lean 验证通过
Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)
AI 导读
有人用 OpenAI Dots 组成智能体集群，免费完成了新数学证明，并通过 Lean 验证。相关讨论出现在 Hacker News。
来源：Hacker News · unexcitedneurons.substack.com