Claude 自建「数学工具链」，自主找到 Smale 均值猜想反例
maxleiter · x · 2026-09-06
数学家 @alpoge 透露，几周前他让 Claude 尝试解题，结果模型在 Slack 里自己搭起了一套「math harness」（数学实验工具链），并自主找到了 Smale 均值定理猜想的反例——一个此前未解决的数学问题。他计划后续撰写更多相关内容。
原推作者 maxleiter 补充说明，被致谢的自己其实只充当了「肉身代理」（meat proxy），工作全部由 Claude 完成。这是 AI agent 在数学研究中自主探索的罕见实例。
所属事件:Claude 在 Slack 自建数学工具链，找到 Smale 均值猜想反例(2 条相关)→
「编程与Agent」频道最新
- 用 Codex 造 VST 合成器接入 DAW，AI 在录音室里实时即兴演奏 — Yamapama · 2026-10-23
- AgentsInTheCloud 更新：可复用 Claude 订阅的内置 Agent — lucasmeijer · 2026-10-23
- 博主深度实测 Muse agent：全面接管购物、盯盘、邮箱和写稿等 10 项任务 — FuSheng_0306 · 2026-10-23
- 赏金平台状态与 GitHub 不同步,开发者提出 Agent 写码前五步预检门 — OneTeamInHampshire · 2026-10-23
- Georgia Tech 将 35 个 CVE 直接归因于 AI 编码工具 — YvesMulkers · 2026-10-23
- DeepSeek Harness 插件市场 dsh-market:收录 6000+ 社区插件 — aigclink · 2026-10-23