Terence Tao on math proofs and why AI needs public reasoning chains
r0ck3t23 · x · 2026-08-24
Terence Tao notes that mathematics forces honesty because proofs require a verifiable chain from claim to axioms, removing the incentive for bluffing found in other fields. The author contrasts this with current AI models, which are trained on polished human conclusions rather than the hidden reasoning chains, resulting in fluent but unsubstantiated outputs. The post argues that adopting the mathematical standard of building verifiable, inspectable chains—code that runs, proofs that verify—is the path to building trustworthy reasoning machines.
More from AGI Musings
- Sam Altman Critiques Dario-Style Centralization: Autonomy for Cures is a Bad Pitch — robleclerc · 2026-08-24
- Robots First to Space: Lunar Industry as the Bootstrap for an Off-World Economy — Dr_Singularity · 2026-08-24
- Roadmap to Extreme Abundance: Achieving Industrial Compounding via Cheap Energy and AI — Dr_Singularity · 2026-08-24
- Machine-Readable Law: How Agents Will Demand Code-Based Compliance — natesiggard · 2026-08-24
- Debate: NYC vs. Bay Area as the hub for frontier tech careers — edgarpavlovsky · 2026-08-24
- Why aren't AI labs training models on market data to outperform human day traders? — flowersslop · 2026-08-24