Agent 参与推进数学猜想
jasondeanlee · x · 2026-07-16
作者更新了自己在 gradient flow conjecture 上的进展：目前已经推进到 2.25380。
他表示，自己和使用的 agents（codex、chatgpt）在这个问题上已经卡了 3 到 5 天，而且还把可用额度都用完了，所以现在要回去继续“真正的工作”。
这条帖子的核心不是在聊工具本身，而是展示了 AI agent 已经参与到他的研究推进流程里。作者还说目前只有 sol 5.6 max/ultra 和 chatgpt 看过这个问题，欢迎其他人尝试。
所属事件:研究者借助 AI Agent 推进数学猜想(2 条相关)→
「编程与Agent」频道最新
- 浏览器主线程很贵:动画卡顿的真正成本与前端优化实践 — jh3yy · 2026-09-11
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11