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」频道最新
- 自研 NVFP4 KV 缓存+YaRN：单卡 5090 跑通 55.5 万上下文 — Lumpy-Comedian-1027 · 2026-09-06
- 开发者 demo：lume 智能体可读取自身报错自我调试 — BLUECOW009 · 2026-09-06
- AI Agent Astra 几分钟把 three.js demo 移植成 Godot，上限更高 — teortaxesTex · 2026-09-06
- 日本开发者用 GPT-6Astra High 做出等距视角战棋游戏,实测确实好玩 — IanArawjo · 2026-09-06
- Armin Ronacher：多数模型的推理档位写在系统提示里，切换即废 KV 缓存 — mitsuhiko · 2026-09-06
- mitsuhiko：切换推理档位会刷新 KV 缓存，Fable 5.1 是例外 — mitsuhiko · 2026-09-06