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」频道最新
- 苹果用合成轨迹训练 API 智能体，不再依赖真实环境 — apple · 2026-07-21
- FlashRT：利用智能体优化多模态应用部署，B200延迟降低70倍 — Krish Agarwal · 2026-07-21
- 字节 SWE-Pruner Pro 给编码智能体省 39% token 还不掉点 — ByteDance · 2026-07-21
- Apple 提出无需真实环境的 API 智能体合成数据方法 — _akhaliq · 2026-07-21
- MIT 博士生称递归语言模型或重塑编码智能体设计 — ctjlewis · 2026-07-21
- Reddit 用户设计四层本地 AI 机房：vLLM 到 OPNsense 全分层 — povedaaqui · 2026-07-21