Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  health  vibecoding  github.com  openai  theguardian.com  release  media  show  apple  psychology  psypost.org  techspot.com  i.redd.it  security  sciencealert.com  gadgetreview.com  go  neuroscience 
Loading...

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

A Misalignment of AI in Mathematics

10 hours ago terrytao.wordpress.com ai math vibecoding

Finite time blowup with smooth forcing term for the incompressible porous medium

3 days ago terrytao.wordpress.com

Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014)

6 days ago terrytao.wordpress.com 3d

Palomar: A registry of Lean verified mathematics

24 days ago terrytao.wordpress.com formalmethods math

Rotating needles in space: the road to the Kakeya conjecture, and why it matters

16 days ago terrytao.wordpress.com

A digestion of the proof of Sendov's conjecture

28 days ago terrytao.wordpress.com

A partial digestion of the HRT counterexample

33 days ago terrytao.wordpress.com

A digestion of the Jacobian conjecture counterexample

52 days ago terrytao.wordpress.com

Old and new apps, via modern coding agents

2 months ago terrytao.wordpress.com

Local Bernstein theory, and lower bounds for Lebesgue constants

5 months ago terrytao.wordpress.com

Mathematics Distillation Challenge – Equational Theories

6 months ago terrytao.wordpress.com

Six Math Essentials

6 months ago terrytao.wordpress.com math

Erdős Problem #1026

8 months ago terrytao.wordpress.com

Mathematical exploration and discovery at scale

10 months ago terrytao.wordpress.com

A Lean companion to Analysis I

15 months ago terrytao.wordpress.com formalmethods math

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

16 months ago terrytao.wordpress.com formalmethods math

Orders of Infinity

16 months ago terrytao.wordpress.com

A proof of concept tool to verify estimates

16 months ago terrytao.wordpress.com

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

16 months ago terrytao.wordpress.com math

Decomposing a Factorial into Large Factors

17 months ago terrytao.wordpress.com

The three-dimensional Kakeya conjecture, after Wang and Zahl

18 months ago terrytao.wordpress.com 3d

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

18 months ago terrytao.wordpress.com math

Quaternions and spherical trigonometry

19 months ago terrytao.wordpress.com

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

21 months ago terrytao.wordpress.com

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

23 months ago terrytao.wordpress.com

What are the odds, II: the Venezuelan presidential election

2 years ago terrytao.wordpress.com

Work Hard (2007)

2 years ago terrytao.wordpress.com

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

2 years ago terrytao.wordpress.com

AI for math resources, and erdosproblems.com

2 years ago terrytao.wordpress.com ai math

Ask yourself dumb questions and answer them (2020)

2 years ago terrytao.wordpress.com

More →