AI Agent 解决数学猜想，科研能力再获验证

ninamiolane · x · 2026-08-08

EkdeepL 转发了一个由 Silico（一个 AI 科研 Agent 平台）主导的激动人心的研究线程。在该研究中，Silico 成功解决了两例关于近似计数着色猜想（approximate counting colorings conjecture）的开放性案例。

负责该项目的成员 @franperni 评价其证明风格像一个“具有实验科学家精神的数学家”，并认为这两项证明中的任何一项都足以在顶级理论计算机科学会议上发表成优秀论文。