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: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   56 points by helloplanets 24 days ago | 1 comments
2. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   25 points by paulpauper 10 days ago | 1 comments
3. Terence Tao had a paper rejected (mathstodon.xyz)
   6 points by paulpauper 22 days ago | 1 comments
4. Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (www.dwarkesh.com)
   3 points by throwerofways67 13 days ago | discuss
5. Terence Tao: The role of small organizations in society has shrunk significantly (mathstodon.xyz)
   1060 points by bertman 6 months ago | 565 comments
6. Terence Tao on O1 (mathstodon.xyz)
   664 points by dselsam over 1 year ago | 482 comments
7. Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
   482 points by gurjeet about 1 month ago | 326 comments
8. Terence Tao on proof checkers and AI programs (www.scientificamerican.com)
   331 points by antineutrino almost 2 years ago | 175 comments
9. Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
   311 points by dwohnitmok 4 months ago | 90 comments
10. Terence Tao on the suspension of UCLA grants (mathstodon.xyz)
    280 points by dargscisyhp 8 months ago | 305 comments
11. Quanta to publish popular math and physics books by Terence Tao and David Tong (www.simonsfoundation.org)
    133 points by digital55 4 months ago | 35 comments
12. Terence Tao – Machine-Assisted Proofs [video] (www.youtube.com)
    111 points by ipnon about 1 year ago | 31 comments
13. Terence Tao: "It can become more rational to think and act more boldly" (mathstodon.xyz)
    109 points by bertman over 1 year ago | 63 comments
14. Terence Tao: creative strategies, this aspect of LLM tools is still weak (mathstodon.xyz)
    77 points by ColinWright over 1 year ago | 7 comments
15. Terence Tao started a YouTube channel (www.youtube.com)
    72 points by yu3zhou4 11 months ago | 9 comments
16. Terence Tao: Game theory, politics and control of information (mathstodon.xyz)
    59 points by bertman 9 months ago | 13 comments
17. Interview with Terence Tao in Barcelona (english.elpais.com)
    56 points by belter over 1 year ago | 14 comments
18. Terence Tao focused on fundraising after federal funding to UCLA was suspended (www.washingtonpost.com)
    54 points by breve 5 months ago | 17 comments
19. ChatGPT finds an error in Terence Tao's math research
    42 points by codexon about 1 month ago | 8 comments
20. NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.) (grant-witness.us)
    36 points by dargscisyhp 8 months ago | 1 comments
21. Terence Tao at IMO 2024: AI and Mathematics [video] (www.youtube.com)
    27 points by ColinWright over 1 year ago | 1 comments
22. 'Will you leave US for China?' It depends, mathematician Terence Tao says (www.scmp.com)
    16 points by billybuckwheat 7 months ago | discuss
23. Terence Tao on how we measure the cosmos – Distance ladder [video] (www.youtube.com)
    15 points by ProAm about 1 year ago | discuss
24. Terence Tao: Solving problems by abstracting away highly relevant information (mathstodon.xyz)
    11 points by bertman over 1 year ago | 1 comments
25. Terence Tao: Hardest Problems in Mathematics, Physics and the Future of AI (www.youtube.com)
    11 points by doppp 10 months ago | discuss
26. Terence Tao on how we measure the cosmos, Part 1 [video] (www.youtube.com)
    10 points by vo2maxer about 1 year ago | 2 comments
27. Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] (www.youtube.com)
    10 points by Bootvis about 1 year ago | discuss
28. Terence Tao on the Ongoing Process of "Enshittification" (mathstodon.xyz)
    9 points by yo_yo_yo-yo about 1 year ago | discuss
29. Terence Tao makes –$700k at UCLA (twitter.com)
    8 points by paulpauper about 2 months ago | 3 comments
30. The Potential for AI in Science and Mathematics – Terence Tao [video] (www.youtube.com)
    8 points by crvdgc over 1 year ago | discuss
31. Terence Tao's Comment on Mathematical Notation (mathoverflow.net)
    8 points by behnamoh over 1 year ago | discuss
32. Terence Tao:"An extended AI chat helped me answer a MathOverflow question" (mathstodon.xyz)
    7 points by alexcos 6 months ago | 1 comments
33. Terence Tao: A little bit of math can go a long way (mathstodon.xyz)
    7 points by ColinWright over 1 year ago | discuss
34. Terence Tao: A crowdsourced repository for optimization constants? (terrytao.wordpress.com)
    6 points by frozenseven 2 months ago | 1 comments