progscrape: terrytao.wordpress.com

Trending tags: ai github.com rust health show microsoft apple security theverge.com release china neuroscience trump nature.com psypost.org web go linux google brain

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

A tool to verify estimates, II: a flexible proof assistant

9 days ago terrytao.wordpress.com formalmethods math

Orders of Infinity

15 days ago terrytao.wordpress.com

A proof of concept tool to verify estimates

17 days ago terrytao.wordpress.com

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics

25 days ago terrytao.wordpress.com math

Decomposing a Factorial into Large Factors

52 days ago terrytao.wordpress.com

The three-dimensional Kakeya conjecture, after Wang and Zahl

2 months ago terrytao.wordpress.com 3d

Closing the “green gap”: energy savings from the math of the landscape function

2 months ago terrytao.wordpress.com math

Quaternions and spherical trigonometry

3 months ago terrytao.wordpress.com

The distribution of eigenvalues of GUE and its minors at fixed index

5 months ago terrytao.wordpress.com

A pilot project in universal algebra to explore new ways to collaborate

7 months ago terrytao.wordpress.com

What are the odds, II: the Venezuelan presidential election

9 months ago terrytao.wordpress.com

Work Hard (2007)

10 months ago terrytao.wordpress.com

There's more to mathematics than rigour and proofs (2007)

11 months ago terrytao.wordpress.com

AI for math resources, and erdosproblems.com

11 months ago terrytao.wordpress.com ai math

Ask yourself dumb questions and answer them (2020)

17 months ago terrytao.wordpress.com

A slightly longer Lean 4 proof tour

17 months ago terrytao.wordpress.com

Formalizing the proof of PFR in Lean4 using Blueprint: a short tour

17 months ago terrytao.wordpress.com

Inequalities, convergence, and continuity as "special deals"

18 months ago terrytao.wordpress.com

A mathematical formalization of dimensional analysis (2012)

20 months ago terrytao.wordpress.com

Be sceptical of your own work (2009)

21 months ago terrytao.wordpress.com