| | Ask yourself dumb questions and answer them (2020) (terrytao.wordpress.com) |
|
228 points by vector_spaces on Dec 23, 2023 | past | 119 comments
|
|
| | A slightly longer Lean 4 proof tour (terrytao.wordpress.com) |
|
78 points by iso8859-1 on Dec 7, 2023 | past | 27 comments
|
|
| | Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com) |
|
99 points by georgehill on Dec 5, 2023 | past | 37 comments
|
|
| | Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com) |
|
3 points by kachnuv_ocasek on Nov 20, 2023 | past
|
|
| | Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4 (terrytao.wordpress.com) |
|
5 points by jjgreen on Nov 19, 2023 | past
|
|
| | Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com) |
|
4 points by EvgeniyZh on Nov 19, 2023 | past
|
|
| | Inequalities, convergence, and continuity as "special deals" (terrytao.wordpress.com) |
|
64 points by bdr on Nov 13, 2023 | past | 10 comments
|
|
| | On a Conjecture of Marton (terrytao.wordpress.com) |
|
1 point by jasondavies on Nov 13, 2023 | past
|
|
| | Work Hard (terrytao.wordpress.com) |
|
2 points by atomicnature on Sept 22, 2023 | past
|
|
| | Terry, 57 is not a prime (terrytao.wordpress.com) |
|
4 points by jjgreen on Sept 19, 2023 | past | 7 comments
|
|
| | A mathematical formalization of dimensional analysis (2012) (terrytao.wordpress.com) |
|
170 points by dargscisyhp on Sept 15, 2023 | past | 53 comments
|
|
| | Yoneda’s lemma as an identification of form and function (terrytao.wordpress.com) |
|
2 points by g0xA52A2A on Aug 27, 2023 | past
|
|
| | Be sceptical of your own work (2009) (terrytao.wordpress.com) |
|
138 points by creer on Aug 15, 2023 | past | 39 comments
|
|
| | Inequalities, convergence, and continuity as “special deals” (terrytao.wordpress.com) |
|
1 point by bdr on June 7, 2023 | past
|
|
| | AI to Assist Mathematical Reasoning: A Workshop (terrytao.wordpress.com) |
|
74 points by ftxbro on June 2, 2023 | past | 4 comments
|
|
| | Terence Tao Co-Chairs Whitehouse Generative AI Working Group (terrytao.wordpress.com) |
|
2 points by ftxbro on May 14, 2023 | past
|
|
| | PCAST Working Group on Generative AI Invites Public Input (terrytao.wordpress.com) |
|
1 point by lawrenceyan on May 14, 2023 | past
|
|
| | Make your work available (2007) (terrytao.wordpress.com) |
|
12 points by davidwu on April 3, 2023 | past
|
|
| | Work Hard (terrytao.wordpress.com) |
|
2 points by ent101 on Feb 26, 2023 | past | 1 comment
|
|
| | Infinite partial sumsets in the primes (terrytao.wordpress.com) |
|
52 points by mutjan on Feb 1, 2023 | past | 7 comments
|
|
| | Terence Tao: Work Hard (terrytao.wordpress.com) |
|
5 points by LER0ever on Feb 1, 2023 | past | 1 comment
|
|
| | Special Relativity and Middle-Earth (terrytao.wordpress.com) |
|
110 points by goy on Dec 19, 2022 | past | 10 comments
|
|
| | A counterexample to the periodic tiling conjecture (terrytao.wordpress.com) |
|
1 point by robinhouston on Nov 30, 2022 | past
|
|
| | A Bayesian Probability Worksheet (terrytao.wordpress.com) |
|
29 points by belter on Oct 31, 2022 | past | 2 comments
|
|
| | A Bayesian Probability Worksheet Posted by Terence Tao (terrytao.wordpress.com) |
|
3 points by kalimanzaro on Oct 9, 2022 | past
|
|
| | What Are the Odds? (terrytao.wordpress.com) |
|
145 points by jjgreen on Oct 4, 2022 | past | 88 comments
|
|
| | On Time Management (terrytao.wordpress.com) |
|
30 points by atakan_gurkan on Aug 3, 2022 | past | 1 comment
|
|
| | Nines of safety: a proposed unit of measurement risk (terrytao.wordpress.com) |
|
1 point by gballan on July 7, 2022 | past
|
|
| | Quantum mechanics and Tomb Raider (2007) (terrytao.wordpress.com) |
|
86 points by turingfeel on July 3, 2022 | past | 17 comments
|
|
| | Partially Specified Mathematical Objects (terrytao.wordpress.com) |
|
9 points by jjgreen on May 11, 2022 | past
|
|
|
|
More |
