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」频道最新
- Nitro Modules v1 跑通 Node.js,一套原生模块通吃 iOS、macOS 与桌面 — Birchlabs · 2026-10-27
- Gemini 4 Argon 助谷歌图挖掘团队 5 小时搞定一年路线图 — rseroter · 2026-10-27
- 4 个 Gemini 智能体自助协作 27 小时通关 Minecraft — rohanpaul_ai · 2026-10-27
- 规划"主控 Agent 管多团队"架构：LangGraph 还是微软 Agent Framework — DonXendon · 2026-10-27
- iPhone 配 Matter 灯体验糟糕,他 10 分钟 vibe coding 出更好用的控制端 — blixt · 2026-10-27
- Score Centering 论文落地:TRL 异步 GRPO 训练器默认启用 — _lewtun · 2026-10-27