Terence Tao: New Mathematical Workflows – Future of Mathematics
tcp_handshaker
11 points
1 comment
May 16, 2026
Related Discussions
Found 5 related stories in 783.2ms across 14,015 title embeddings via pgvector HNSW
- Terence Tao – Kepler, Newton, and the true nature of mathematical discovery paulpauper · 18 pts · March 22, 2026 · 69% similar
- Terry Tao Became an Evangelist for AI in Math Tomte · 25 pts · June 08, 2026 · 60% similar
- Terence Tao: Formalizing a proof in Lean using Claude Code [video] helloplanets · 51 pts · March 09, 2026 · 58% similar
- Mathematics is undergoing the biggest change in its history jonbaer · 15 pts · March 11, 2026 · 56% similar
- The AI revolution in math has arrived sonabinu · 74 pts · April 13, 2026 · 54% similar
Discussion Highlights (1 comments)
soupspaces
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.