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: A short text about when to consider using an AI for a task (mathstodon.xyz)
   6 points by ColinWright 5 days ago | discuss
2. Terence Tao on O1 (mathstodon.xyz)
   664 points by dselsam 7 months ago | 482 comments
3. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
   497 points by gridentio over 1 year ago | 220 comments
4. Terence Tao on proof checkers and AI programs (www.scientificamerican.com)
   331 points by antineutrino 10 months ago | 175 comments
5. Terence Tao on GPT-4 (mathstodon.xyz)
   207 points by admp almost 2 years ago | 223 comments
6. Terence Tao – Machine-Assisted Proofs [video] (www.youtube.com)
   111 points by ipnon about 1 month ago | 31 comments
7. Terence Tao: "It can become more rational to think and act more boldly" (mathstodon.xyz)
   109 points by bertman 5 months ago | 63 comments
8. Terence Tao: creative strategies, this aspect of LLM tools is still weak (mathstodon.xyz)
   77 points by ColinWright 7 months ago | 7 comments
9. Interview with Terence Tao in Barcelona (english.elpais.com)
   56 points by belter 6 months ago | 14 comments
10. Terence Tao on LLMs: Embracing Change and Resetting Expectations (unlocked.microsoft.com)
    36 points by Anon84 almost 2 years ago | 9 comments
11. Terence Tao Uses GPT-4 to Study Mathematics (twitter.com)
    31 points by irthomasthomas over 1 year ago | 26 comments
12. Terence Tao at IMO 2024: AI and Mathematics [video] (www.youtube.com)
    27 points by ColinWright 7 months ago | 1 comments
13. Terence Tao on how we measure the cosmos – Distance ladder [video] (www.youtube.com)
    15 points by ProAm about 1 month ago | discuss
14. Terence Tao: Solving problems by abstracting away highly relevant information (mathstodon.xyz)
    11 points by bertman 5 months ago | 1 comments
15. Terence Tao on how we measure the cosmos, Part 1 [video] (www.youtube.com)
    10 points by vo2maxer about 2 months ago | 2 comments
16. Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] (www.youtube.com)
    10 points by Bootvis about 1 month ago | discuss
17. Terence Tao's Introduction to Measure Theory [pdf] (terrytao.files.wordpress.com)
    10 points by defrost over 1 year ago | discuss
18. Terence Tao on the Ongoing Process of "Enshittification" (mathstodon.xyz)
    9 points by yo_yo_yo-yo about 2 months ago | discuss
19. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    8 points by crvdgc 8 months ago | discuss
20. Terence Tao's Comment on Mathematical Notation (mathoverflow.net)
    8 points by behnamoh 8 months ago | discuss
21. Terence Tao: A little bit of math can go a long way (mathstodon.xyz)
    7 points by ColinWright 5 months ago | discuss
22. “Embracing change and resetting expectations” By Terence Tao (unlocked.microsoft.com)
    6 points by ianwehba almost 2 years ago | 2 comments
23. We're Entering Uncharted Territory for Math (Terence Tao Has a Vision for AI) (www.theatlantic.com)
    6 points by nabla9 6 months ago | 1 comments
24. Terence Tao on how we measure the cosmos [video] (www.youtube.com)
    6 points by andrepd about 2 months ago | discuss
25. Terence Tao, "Machine Assisted Proof" [video] (www.youtube.com)
    5 points by openquery about 1 year ago | 2 comments
26. Terence Tao solved dissertation problem from UCLA Math PhD during thesis defense (twitter.com)
    5 points by xnhbx over 1 year ago | discuss
27. AI Will Become Mathematicians' 'Co-Pilot' – Interview with Terence Tao (www.scientificamerican.com)
    4 points by aznumeric 10 months ago | 1 comments
28. Laura Greene and Terence Tao Lead Whitehouse Generative AI Working Group (www.whitehouse.gov)
    4 points by ftxbro almost 2 years ago | 1 comments
29. 3b1b: Terence Tao on how we measure the cosmos | Part 1 [video] (www.youtube.com)
    4 points by HiPHInch about 2 months ago | discuss
30. Terence Tao: The Regime of "No Effective Dynamics" (mathstodon.xyz)
    4 points by bertman 2 months ago | discuss
31. Terence Tao on AI (www.theatlantic.com)
    4 points by HiPHInch 6 months ago | discuss