Tokens and Proofs

Reflections on AI reasoning and beyond

Proofread: A 5-Phase Agent Pipeline for LaTeX

What my Proofread agent is, what it does, and how the 5-phase LaTeX proofreading pipeline works.

3 min read · February 26, 2026

2026 · AI agents latex proofreading claude-code · tools
Forward looking: How powerful the foundational models will be at the end of 2026.

A forward-looking prediction on frontier model capability in advanced mathematical reasoning and proof verification by the end of 2026

4 min read · February 07, 2026

2026 · AI prediction reasoning math foundational-models · prediction
Paper Analysis: Gemini Contributes Nontrivial Mathematical Insight

Analyzing how autoregressive AI models contributed non-trivial mathematical insights to an open problem in algebraic geometry

9 min read · January 22, 2026

2026 · AI math reasoning · paper-analysis