AI Agent 解决数学猜想，科研能力再获验证
ninamiolane · x · 2026-08-08
EkdeepL 转发了一个由 Silico（一个 AI 科研 Agent 平台）主导的激动人心的研究线程。在该研究中，Silico 成功解决了两例关于近似计数着色猜想（approximate counting colorings conjecture）的开放性案例。
负责该项目的成员 @franperni 评价其证明风格像一个“具有实验科学家精神的数学家”，并认为这两项证明中的任何一项都足以在顶级理论计算机科学会议上发表成优秀论文。
「编程与Agent」频道最新
- 用 ChatGPT 会话经 Desktop Commander MCP 启动 Claude Code CLI — MidahBootyQuay · 2026-10-16
- 单操作员指挥多智能体能做的事已超乎想象 — natesiggard · 2026-10-16
- Claude Code 会话该跑多久？3 小时后上下文成灾的真实教训 — Additional-Buy-2562 · 2026-10-16
- Claude Code 隐藏行为：团队成员 agent 的回复不会送达 lead — Sauers_ · 2026-10-16
- Agent 写完完整回答却被 harness 丢弃：工具调用文本被当进度注释 — Stunning-Sherbet1853 · 2026-10-16
- Vibe coding 背锅太多：工程师厘清它与真实软件工程的边界 — bendee983 · 2026-10-16