Agent做数学研究仍困难：代码生成陷入证书和库存
doodlestein · x · 2026-07-30
用户 @doodlestein 引用 @dzackgarza 的推文，后者指出让agent做数学工作仍然不可能，Codex在写局部化代码时计划陷入“证明证书”和库存。@doodlestein 受启发创建了一个“前沿数学研究与认知谦逊”技能，但犹豫是否公开。
「编程与Agent」频道最新
- Deep Agents v0.7 发布：默认上下文缩减 65% — hwchase17 · 2026-07-30
- 开发者用 Claude 打造纯代码生成的 3D RPG 游戏 — chrisfirst · 2026-07-30
- jasonkneen 推出浏览器交互智能体，支持 3D 虚拟形象 — jasonkneen · 2026-07-30
- 为 Hermes Desktop 开发开源便签插件，轻松管理碎片灵感 — Teknium · 2026-07-30
- Agensis 发布：人类与 AI 智能体的共享工作空间 — jasonkneen · 2026-07-30
- Machinen Desktop：为 AI Agent 打造的空间化终端桌面 — kieranklaassen · 2026-07-30