Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
- •
Long Verification Loops - Scientific breakthroughs like Kepler’s laws often endure decades of 'epistemic hell' where the correct theory initially yields worse predictions than the status quo, requiring human heuristic judgment over simple RL loops.
“AI makes papers richer and broader, but not deeper.”
- •
Breadth Over Depth - While AI currently makes research papers broader and richer by synthesizing vast amounts of information, it has yet to demonstrate the ability to bridge fundamental conceptual gaps that require deep, novel insights.
- •
Human-AI Hybridization - The future of mathematics lies in semi-formal languages that allow human intuition to interface with machine rigor, ensuring that humans can still derive understanding from AI-generated solutions.