Prediction: hobbyists burning AI tokens will formalize major math results in 3 months
jacobaustin132 · x · 2026-10-22
Jacob Austin predicts that random hobbyists will throw massive AI tokens at formalizing textbooks and proofs in Prove2Me or Tau Ceti, and within 3 months most major results will be done. Then you just point your AI at those repos, and it's quick to jump off an already-finished textbook or paper.
He adds: "I have immense faith in Claude's ability to build on top of a pile of slop, at least with a mildly decent harness."
Related event: Debate Erupts Over AI-Driven Mathematical Formalization(8 posts)→
More from coding & agent
- LiteLLM v1.107.0 backdoored, PHP RCEs exploited: a nightmare day for open-source security — aniketmaurya · 2026-10-22
- Bigger Claude Code tasks mean bigger code reviews for you — weswinder · 2026-10-22
- Specs give agents something to verify against when bugs appear — colinmcnamara · 2026-10-22
- The Model Factory Is the Real Asset: Lessons from Thomson Reuters and Other Companies Training Their Own Models — bigdata · 2026-10-22
- Updating every GitHub repo with one Codex prompt: a batch-maintenance trick — AntDX316 · 2026-10-22
- Recursive Flint: 40B-param coding model with 2.5B active claims to dethrone Qwen3.6-35B — returnity · 2026-10-22