Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

Related Discussions

Found 5 related stories in 34.1ms across 3,471 title embeddings via pgvector HNSW

• Terence Tao: Formalizing a proof in Lean using Claude Code [video] helloplanets · 51 pts · March 09, 2026 · 50% similar
• Mathematics is undergoing the biggest change in its history jonbaer · 15 pts · March 11, 2026 · 46% similar
• Mathematics Distillation Challenge – Equational Theories picafrost · 43 pts · March 14, 2026 · 44% similar
• Why mathematicians hate Good Will Hunting wglb · 16 pts · March 03, 2026 · 43% similar
• We Stopped Using the Mathematics That Works slygent · 88 pts · March 09, 2026 · 42% similar