Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  tomshardware.com  rust  security  psychology  google  psypost.org  release  linux  github.com  game  health  arstechnica.com  go  techspot.com  microsoft  show  theguardian.com  cnbc.com  video 
Loading...

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

Egoless Mathematics in the AI Era

2 hours ago terrytao.wordpress.com ai

Mathematics has changed. Let's act like it

27 hours ago terrytao.wordpress.com

Why are we even doing all this?

18 days ago terrytao.wordpress.com math vibecoding

Will it be a golden age or a dark age for mathematics (and science)?

15 days ago terrytao.wordpress.com

Oai-math-revised: a community hub for revising OpenAI's math write-ups

9 days ago terrytao.wordpress.com math openai

What should we tell our students?

24 days ago terrytao.wordpress.com

The Future of Mathematics

28 days ago terrytao.wordpress.com

Illustration Beyond Proof

21 days ago terrytao.wordpress.com

What mathematicians should know about the Lean Theorem Prover: reliability & AI

24 days ago terrytao.wordpress.com ai

A Misalignment of AI in Mathematics

52 days ago terrytao.wordpress.com ai math vibecoding

I didn't sign the Fields medallists' letter

46 days ago terrytao.wordpress.com

We're gonna need a lot more mathematicians

38 days ago terrytao.wordpress.com math vibecoding

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

55 days ago terrytao.wordpress.com

After Math

50 days ago terrytao.wordpress.com math vibecoding

Why do we need human mathematicians anymore?

43 days ago terrytao.wordpress.com

If math is more than proof, we need to better celebrate the rest of it

44 days ago terrytao.wordpress.com math

The Advisory Group on Mathematics and Artificial Intelligence

42 days ago terrytao.wordpress.com ai

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

58 days ago terrytao.wordpress.com 3d

Palomar: A registry of Lean verified mathematics

2 months ago terrytao.wordpress.com formalmethods math

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

2 months ago terrytao.wordpress.com

A digestion of the proof of Sendov's conjecture

2 months ago terrytao.wordpress.com

A partial digestion of the HRT counterexample

2 months ago terrytao.wordpress.com

A digestion of the Jacobian conjecture counterexample

3 months ago terrytao.wordpress.com

Old and new apps, via modern coding agents

3 months ago terrytao.wordpress.com

Local Bernstein theory, and lower bounds for Lebesgue constants

7 months ago terrytao.wordpress.com

Mathematics Distillation Challenge – Equational Theories

7 months ago terrytao.wordpress.com

Six Math Essentials

8 months ago terrytao.wordpress.com math

Erdős Problem #1026

10 months ago terrytao.wordpress.com

Mathematical exploration and discovery at scale

12 months ago terrytao.wordpress.com

A Lean companion to Analysis I

17 months ago terrytao.wordpress.com formalmethods math

More →