用 AI 挑战数学猜想：单次会话烧掉超 350 美元 Token
doodlestein · x · 2026-07-30
一位开发者在尝试使用 AI 智能体（Fable）来证明或寻找 Kaplanski 零因子猜想的反例时，记录下了惊人的算力消耗。
由于该任务极为复杂，智能体在短短几天的尝试中就消耗了数百万个 Token。按照 API 费率计算，仅这一个会话的成本就超过了 350 美元（且这还未计算之前因限流中断的数百万 Token 会话）。
所属事件:AI Agent 挑战数学研究面临高成本与技术瓶颈(3 条相关)→
「编程与Agent」频道最新
- 上下文压缩让模型跑通 ARC-AGI-3，harness 工程潜力巨大 — eldonredwards · 2026-07-30
- Meta 与 CMU 论文：将上下文压缩变为智能体动作，长程任务表现提升 27% — rohanpaul_ai · 2026-07-30
- 从「微操控制」到「只提需求」：Agent 交互范式的一年蜕变 — intellectronica · 2026-07-30
- 开源 Ghostty 插件 ghostwriter：用 AI 自动生成终端标签名 — smtabatabaie · 2026-07-30
- AI 时代的管理学：管 10 个 Agent 真的胜过管 100 个人吗？ — HanchungLee · 2026-07-30
- OpenAI Codex Security 被吐槽：运行 20 分钟后直接封锁内容 — VanillaMammoth1937 · 2026-07-30