Hacker News with Generative AI: Terence Tao
« Back to main
Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video]
(youtube.com)
Mathematics
,
Proofs
,
Video
,
Terence Tao
10 points by Bootvis 38 days ago |
0 comments
Terence Tao on how we measure the cosmos [video]
(youtube.com)
Mathematics
,
Cosmology
,
Video
,
Terence Tao
6 points by andrepd 53 days ago |
0 comments
Terence Tao on O1
(mathstodon.xyz)
Mathematics
,
Terence Tao
,
Number Theory
664 points by dselsam 201 days ago |
483 comments
Terence Tao's Comment on Mathematical Notation
(mathoverflow.net)
Mathematics
,
Notation
,
Terence Tao
8 points by behnamoh 253 days ago |
0 comments