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: "It can become more rational to think and act more boldly" (mathstodon.xyz)
   109 points by bertman 8 days ago | 63 comments
2. Terence Tao: Solving problems by abstracting away highly relevant information (mathstodon.xyz)
   11 points by bertman 7 days ago | 1 comments
3. Terence Tao: A little bit of math can go a long way (mathstodon.xyz)
   7 points by ColinWright 7 days ago | discuss
4. Terence Tao's Update on Equational Theories Project Results (mathstodon.xyz)
   3 points by riffraff about 9 hours ago | discuss
5. We assume damage to Baltic Sea cables was sabotage, German Defence minister (www.theguardian.com)
   40 points by neom 2 days ago | 17 comments
6. Terence Tao on O1 (mathstodon.xyz)
   664 points by dselsam 2 months ago | 483 comments
7. Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
   497 points by gridentio about 1 year ago | 220 comments
8. A list of advanced math tricks by Terence Tao (mathstodon.xyz)
   374 points by signa11 almost 2 years ago | 55 comments
9. Terence Tao on proof checkers and AI programs (www.scientificamerican.com)
   331 points by antineutrino 5 months ago | 175 comments
10. Terence Tao on GPT-4 (mathstodon.xyz)
    207 points by admp over 1 year ago | 223 comments
11. Terence Tao: creative strategies, this aspect of LLM tools is still weak (mathstodon.xyz)
    77 points by ColinWright 2 months ago | 7 comments
12. Terence Tao makes progress on the Collatz conjecture (2019) (www.quantamagazine.org)
    71 points by yamrzou over 1 year ago | 60 comments
13. Interview with Terence Tao in Barcelona (english.elpais.com)
    56 points by belter about 1 month ago | 14 comments
14. Terence Tao on LLMs: Embracing Change and Resetting Expectations (unlocked.microsoft.com)
    36 points by Anon84 over 1 year ago | 9 comments
15. Terence Tao Uses GPT-4 to Study Mathematics (twitter.com)
    31 points by irthomasthomas over 1 year ago | 26 comments
16. Terence Tao at IMO 2024: AI and Mathematics [video] (www.youtube.com)
    27 points by ColinWright 3 months ago | 1 comments
17. Terence Tao's Introduction to Measure Theory [pdf] (terrytao.files.wordpress.com)
    10 points by defrost about 1 year ago | discuss
18. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    8 points by crvdgc 4 months ago | discuss
19. Terence Tao's Comment on Mathematical Notation (mathoverflow.net)
    8 points by behnamoh 4 months ago | discuss
20. “Embracing change and resetting expectations” By Terence Tao (unlocked.microsoft.com)
    6 points by ianwehba over 1 year ago | 2 comments
21. We're Entering Uncharted Territory for Math (Terence Tao Has a Vision for AI) (www.theatlantic.com)
    6 points by nabla9 about 2 months ago | 1 comments
22. Terence Tao, "Machine Assisted Proof" [video] (www.youtube.com)
    5 points by openquery 10 months ago | 2 comments
23. Terence Tao: Work Hard (terrytao.wordpress.com)
    5 points by LER0ever almost 2 years ago | 1 comments
24. Terence Tao solved dissertation problem from UCLA Math PhD during thesis defense (twitter.com)
    5 points by xnhbx 11 months ago | discuss
25. AI Will Become Mathematicians' 'Co-Pilot' – Interview with Terence Tao (www.scientificamerican.com)
    4 points by aznumeric 6 months ago | 1 comments
26. Laura Greene and Terence Tao Lead Whitehouse Generative AI Working Group (www.whitehouse.gov)
    4 points by ftxbro over 1 year ago | 1 comments
27. Terence Tao on AI (www.theatlantic.com)
    4 points by HiPHInch about 2 months ago | discuss
28. Terence Tao's lecture notes on Linear Algebra (twitter.com)
    4 points by dbergqvist 4 months ago | discuss
29. Terence Tao on Machine Assisted Proof [pdf] (terrytao.files.wordpress.com)
    3 points by jjgreen 8 months ago | 1 comments
30. Embracing change and resetting expectations – Terence Tao (unlocked.microsoft.com)
    3 points by lajamerr over 1 year ago | 1 comments
31. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    3 points by nabla9 3 months ago | discuss
32. Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz)
    2 points by gridentio 12 months ago | 2 comments
33. Terence Tao, "Machine Assisted Proof" [video] (www.youtube.com)
    2 points by knotthebest 9 months ago | 1 comments
34. Terence Tao lecture at IMO 2024: AI and Mathematics [video] (www.youtube.com)
    2 points by eulgam1 3 months ago | discuss
35. Linear Algebra Notes by Terence Tao [pdf] (terrytao.wordpress.com)
    2 points by coffeeaddict1 4 months ago | discuss