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 on O1 (mathstodon.xyz)
   663 points by dselsam 5 days ago | 482 comments
2. Terence Tao: creative strategies, this aspect of LLM tools is still weak (mathstodon.xyz)
   77 points by ColinWright 4 days ago | 7 comments
3. Terence Tao at IMO 2024: AI and Mathematics [video] (www.youtube.com)
   27 points by ColinWright 26 days ago | 1 comments
4. Terence Tao lecture at IMO 2024: AI and Mathematics [video] (www.youtube.com)
   2 points by eulgam1 29 days ago | discuss
5. Ask HN: What are some interesting math and physics blogs you follow?
   5 points by astroanax 9 days ago | 7 comments
6. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
   497 points by gridentio 11 months ago | 220 comments
7. A list of advanced math tricks by Terence Tao (mathstodon.xyz)
   374 points by signa11 almost 2 years ago | 55 comments
8. Terence Tao on proof checkers and AI programs (www.scientificamerican.com)
   331 points by antineutrino 3 months ago | 175 comments
9. Terence Tao on GPT-4 (mathstodon.xyz)
   207 points by admp over 1 year ago | 223 comments
10. Terence Tao makes progress on the Collatz conjecture (2019) (www.quantamagazine.org)
    71 points by yamrzou over 1 year ago | 60 comments
11. Terence Tao on LLMs: Embracing Change and Resetting Expectations (unlocked.microsoft.com)
    36 points by Anon84 about 1 year ago | 9 comments
12. Terence Tao Uses GPT-4 to Study Mathematics (twitter.com)
    31 points by irthomasthomas about 1 year ago | 26 comments
13. Terence Tao's Introduction to Measure Theory [pdf] (terrytao.files.wordpress.com)
    10 points by defrost 11 months ago | discuss
14. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    8 points by crvdgc about 1 month ago | discuss
15. Terence Tao's Comment on Mathematical Notation (mathoverflow.net)
    8 points by behnamoh about 2 months ago | discuss
16. “Embracing change and resetting expectations” By Terence Tao (unlocked.microsoft.com)
    6 points by ianwehba over 1 year ago | 2 comments
17. Terence Tao, "Machine Assisted Proof" [video] (www.youtube.com)
    5 points by openquery 7 months ago | 2 comments
18. Terence Tao: Work Hard (terrytao.wordpress.com)
    5 points by LER0ever over 1 year ago | 1 comments
19. Terence Tao solved dissertation problem from UCLA Math PhD during thesis defense (twitter.com)
    5 points by xnhbx 9 months ago | discuss
20. AI Will Become Mathematicians' 'Co-Pilot' – Interview with Terence Tao (www.scientificamerican.com)
    4 points by aznumeric 3 months ago | 1 comments
21. Laura Greene and Terence Tao Lead Whitehouse Generative AI Working Group (www.whitehouse.gov)
    4 points by ftxbro over 1 year ago | 1 comments
22. Terence Tao's lecture notes on Linear Algebra (twitter.com)
    4 points by dbergqvist about 2 months ago | discuss
23. Terence Tao on Machine Assisted Proof [pdf] (terrytao.files.wordpress.com)
    3 points by jjgreen 6 months ago | 1 comments
24. Embracing change and resetting expectations – Terence Tao (unlocked.microsoft.com)
    3 points by lajamerr about 1 year ago | 1 comments
25. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    3 points by nabla9 about 1 month ago | discuss
26. A Bayesian Probability Worksheet Posted by Terence Tao (terrytao.wordpress.com)
    3 points by kalimanzaro almost 2 years ago | discuss
27. Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz)
    2 points by gridentio 10 months ago | 2 comments
28. Terence Tao, "Machine Assisted Proof" [video] (www.youtube.com)
    2 points by knotthebest 7 months ago | 1 comments
29. Linear Algebra Notes by Terence Tao [pdf] (terrytao.wordpress.com)
    2 points by coffeeaddict1 about 1 month ago | discuss
30. Terence Tao [pdf] (gwern.net)
    2 points by plurby 3 months ago | discuss
31. Terence Tao – Machine Assisted Proof [video] (www.youtube.com)
    2 points by chamoda 7 months ago | discuss
32. Fields Medallists Timothy Gowers and Terence Tao Join $10M AI Prize Committee (aimoprize.com)
    2 points by eulgam1 8 months ago | discuss
33. Terence Tao Co-Chairs Whitehouse Generative AI Working Group (terrytao.wordpress.com)
    2 points by ftxbro over 1 year ago | discuss
34. The Attention Mal-Economy and My Brush with Terence Tao (synystron.substack.com)
    1 points by syngrog66 11 months ago | 2 comments
35. AI for Math Resources – By Terence Tao (docs.google.com)
    1 points by MaysonL 5 months ago | discuss