预言：业余者烧 AI token 三个月形式化主要数学结果
jacobaustin132 · x · 2026-10-22
Jacob Austin 给出大胆预测：大量业余爱好者会把 AI 的 token 洒向 Prove2Me 或 Tau Ceti，去形式化教科书和证明，三个月内大部分主要结果就能完成。之后只需把 AI 指向这些已完成的仓库，就能很快基于一本已形式化的教材或论文继续工作。
他还补充：「我对 Claude 在一堆'垃圾堆'上继续搭建的能力有巨大信心，只要有一个还过得去的 harness。」
所属事件:AI 时代数学形式化激辩：批量形式化可行还是放弃理解(8 条相关)→
「编程与Agent」频道最新
- PHP 双 RCE、LiteLLM 被植入后门：一场连环安全风暴 — aniketmaurya · 2026-10-22
- 给 Claude Code 更大任务，意味着给自己更大的代码审查量 — weswinder · 2026-10-22
- 让 agent 有规格可查：出 bug 时回到 specs 验证预期行为 — colinmcnamara · 2026-10-22
- Thomson Reuters 深度定制自有模型，Cursor 等公司跟进同一路线 — bigdata · 2026-10-22
- 一个 prompt 批量更新全部 GitHub 仓库，Codex 另类用法 — AntDX316 · 2026-10-22
- Recursive Flint 编码模型曝光:40B 参数仅 2.5B 激活,剑指 Qwen 小钢炮 — returnity · 2026-10-22