用订阅额度跑数学难题：AI编程智能体挑战未解猜想

nptacek · x · 2026-07-24

有用户在 X 上感叹，现在的 AI 编程智能体已经强大到可以用来打发时间解决未解的数学难题。该推文引用了另一条帖子，展示了有人利用剩余的 Codex 或 Claude 订阅额度，让 AI 挂机跑诸如雅可比猜想等复杂的数学问题，并且 AI 真的输出了形式化的推导和反例代码。这反映了前沿大模型在深度推理和长程自主任务上的惊人潜力，以及开发者将其用于前沿科研探索的新奇玩法。