| | AI Mathematical Olympiad – Progress Prize Competition Now Open (terrytao.wordpress.com) |
|
3 points by RafelMri on April 3, 2024 | past
|
|
| | Does one have to be a genius to do maths? – What's new (terrytao.wordpress.com) |
|
2 points by occamschainsaw on March 29, 2024 | past
|
|
| | Jean Bourgain (2018) (terrytao.wordpress.com) |
|
2 points by vector_spaces on March 25, 2024 | past
|
|
| | Talks at the Joint Mathematics Meetings (terrytao.wordpress.com) |
|
2 points by jyunwai on March 21, 2024 | past
|
|
| | There's more to mathematics than rigour and proofs (2009) (terrytao.wordpress.com) |
|
3 points by fzliu on March 6, 2024 | past
|
|
| | AI-generated versions of the AI anthology article GPT-4 generated article (terrytao.wordpress.com) |
|
1 point by RafelMri on Jan 15, 2024 | past
|
|
| | 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
|
|
|
|
More |
