Terence Tao: New Mathematical Workflows – Future of Mathematics
tcp_handshaker
11 points
1 comment
May 16, 2026
Related Discussions
Found 5 related stories in 86.4ms across 8,303 title embeddings via pgvector HNSW
- Terence Tao – Kepler, Newton, and the true nature of mathematical discovery paulpauper · 18 pts · March 22, 2026 · 69% 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
- David Bessis on AI destroying mathematics delis-thumbs-7e · 12 pts · May 02, 2026 · 53% 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.