Claude 在 Slack 里自建数学环境，自主证伪 Smale 均值猜想
maxleiter · x · 2026-09-06
Vercel 的 Max Leiter（maxleiter）称，几周前他让 Claude 测试解数学题的方式，结果模型在 Slack 中自主搭起一套「math harness」，自行搜索反例，最终给出了对 Smale mean value conjecture 的反例证伪（亦与 Köthe conjecture 相关）。数学家 @alpoge 回复确认也观察到了同样的 Smale 均值猜想反证，并表示此前不知道 Köthe 猜想的这一联系。作者表示后续会写更多细节。
所属事件:Claude 在 Slack 自建数学工具链，找到 Smale 均值猜想反例(2 条相关)→
「编程与Agent」频道最新
- Reddit 开发者求问：如何防止 Agent 提示词越改越退化 — SleepFlimsy6963 · 2026-10-23
- 接付费商单该用什么模型?Reddit 创作者晒 Claude Code+ComfyUI 工作流 — newaccount47 · 2026-10-23
- 社科学者批 AI 圈：把 Agent 开发当会自动变好的黑箱 — RexDouglass · 2026-10-23
- 网友 vibe coding 出 Tesla Roadster 小游戏，赶在 GTA VI 之前 — Jasonio · 2026-10-23
- Codex CLI 0.164.0 报 account/read 错误，重启 daemon 可解 — bytebot · 2026-10-23
- 同为原生 UI:Swift 版 80MB 仅限 Mac,Zig 版 10MB 三端通吃 — jedisct1 · 2026-10-23