Hackernews posts about Terence Tao

Terence Tao is a renowned American mathematician known for his groundbreaking work in harmonic analysis, partial differential equations, and number theory, often referred to as one of the most accomplished mathematicians of his generation.

1. Terence Tao started a YouTube channel (www.youtube.com)
   72 points by yu3zhou4 22 days ago | 9 comments
2. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical (www.youtube.com)
   6 points by admingirl 23 days ago | discuss
3. Terence Tao on the importance of funding basic mathematical research (mathstodon.xyz)
   5 points by bertman 10 days ago | 1 comments
4. Formalizing a proof in Lean using Claude and o4 - Terence Tao [video] (www.youtube.com)
   5 points by nill0 18 days ago | discuss
5. Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz)
   3 points by joak 3 days ago | 1 comments
6. Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video] (www.youtube.com)
   3 points by gsf_emergency 22 days ago | discuss
7. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
   2 points by 5rest 21 days ago | 1 comments
8. Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz)
   1 points by ColinWright 24 days ago | discuss
9. Terence Tao on O1 (mathstodon.xyz)
   664 points by dselsam 9 months ago | 482 comments
10. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
    497 points by gridentio over 1 year ago | 220 comments
11. Terence Tao on proof checkers and AI programs (www.scientificamerican.com)
    331 points by antineutrino 12 months ago | 175 comments
12. Terence Tao – Machine-Assisted Proofs [video] (www.youtube.com)
    111 points by ipnon 3 months ago | 31 comments
13. Terence Tao: "It can become more rational to think and act more boldly" (mathstodon.xyz)
    109 points by bertman 7 months ago | 63 comments
14. Terence Tao: creative strategies, this aspect of LLM tools is still weak (mathstodon.xyz)
    77 points by ColinWright 9 months ago | 7 comments
15. Interview with Terence Tao in Barcelona (english.elpais.com)
    56 points by belter 8 months ago | 14 comments
16. Terence Tao on LLMs: Embracing Change and Resetting Expectations (unlocked.microsoft.com)
    36 points by Anon84 almost 2 years ago | 9 comments
17. Terence Tao Uses GPT-4 to Study Mathematics (twitter.com)
    31 points by irthomasthomas almost 2 years ago | 26 comments
18. Terence Tao at IMO 2024: AI and Mathematics [video] (www.youtube.com)
    27 points by ColinWright 9 months ago | 1 comments
19. Terence Tao on how we measure the cosmos – Distance ladder [video] (www.youtube.com)
    15 points by ProAm 4 months ago | discuss
20. Terence Tao: Solving problems by abstracting away highly relevant information (mathstodon.xyz)
    11 points by bertman 7 months ago | 1 comments
21. Terence Tao on how we measure the cosmos, Part 1 [video] (www.youtube.com)
    10 points by vo2maxer 4 months ago | 2 comments
22. Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] (www.youtube.com)
    10 points by Bootvis 3 months ago | discuss
23. Terence Tao's Introduction to Measure Theory [pdf] (terrytao.files.wordpress.com)
    10 points by defrost over 1 year ago | discuss
24. Terence Tao on the Ongoing Process of "Enshittification" (mathstodon.xyz)
    9 points by yo_yo_yo-yo 4 months ago | discuss
25. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    8 points by crvdgc 10 months ago | discuss
26. Terence Tao's Comment on Mathematical Notation (mathoverflow.net)
    8 points by behnamoh 10 months ago | discuss
27. Terence Tao: A little bit of math can go a long way (mathstodon.xyz)
    7 points by ColinWright 7 months ago | discuss
28. “Embracing change and resetting expectations” By Terence Tao (unlocked.microsoft.com)
    6 points by ianwehba almost 2 years ago | 2 comments
29. We're Entering Uncharted Territory for Math (Terence Tao Has a Vision for AI) (www.theatlantic.com)
    6 points by nabla9 8 months ago | 1 comments
30. Terence Tao: A short text about when to consider using an AI for a task (mathstodon.xyz)
    6 points by ColinWright 2 months ago | discuss
31. Terence Tao on how we measure the cosmos [video] (www.youtube.com)
    6 points by andrepd 4 months ago | discuss
32. Terence Tao, "Machine Assisted Proof" [video] (www.youtube.com)
    5 points by openquery over 1 year ago | 2 comments
33. Terence Tao's Linear Algebra Lecture Notes (Math 115A) [pdf] (terrytao.wordpress.com)
    5 points by jimsojim about 2 months ago | 1 comments
34. Terence Tao solved dissertation problem from UCLA Math PhD during thesis defense (twitter.com)
    5 points by xnhbx over 1 year ago | discuss
35. AI Will Become Mathematicians' 'Co-Pilot' – Interview with Terence Tao (www.scientificamerican.com)
    4 points by aznumeric 12 months ago | 1 comments
36. 3b1b: Terence Tao on how we measure the cosmos | Part 1 [video] (www.youtube.com)
    4 points by HiPHInch 4 months ago | discuss
37. Terence Tao: The Regime of "No Effective Dynamics" (mathstodon.xyz)
    4 points by bertman 4 months ago | discuss
38. Terence Tao on AI (www.theatlantic.com)
    4 points by HiPHInch 8 months ago | discuss