Claude 自建「数学工具链」，自主找到 Smale 均值猜想反例
maxleiter · x · 2026-09-06
数学家 @alpoge 透露，几周前他让 Claude 尝试解题，结果模型在 Slack 里自己搭起了一套「math harness」（数学实验工具链），并自主找到了 Smale 均值定理猜想的反例——一个此前未解决的数学问题。他计划后续撰写更多相关内容。
原推作者 maxleiter 补充说明，被致谢的自己其实只充当了「肉身代理」（meat proxy），工作全部由 Claude 完成。这是 AI agent 在数学研究中自主探索的罕见实例。
所属事件:Claude 在 Slack 自建数学工具链，找到 Smale 均值猜想反例(2 条相关)→
「编程与Agent」频道最新
- 全流程在手机上完成：Termux 里用 AI 规划、编写并打包出 APK — Digital_Otorongo · 2026-09-06
- 实测：Astra 能执行数小时长任务并迭代计划，不跑偏不偷懒 — ivan_bezdomny · 2026-09-06
- 别凭感觉选编码模型：用 A/B/C 重构实测一锤定音 — robleclerc · 2026-09-06
- 62k star 的 Orca：在 Mac Mini 上编排并行编码 agent 舰队 — kieranklaassen · 2026-09-06
- 8 个月 883 次提交造 LLM Agent 框架,作者过度工程后弃坑开源 — dancingwithlies · 2026-09-06
- 开发者用 GPT 6 Astra 一次成功改出 UEVR 双相机立体渲染 fork — pvncher · 2026-09-06