Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  vibecoding  rust  health  github.com  apple  openai  psychology  techspot.com  china  psypost.org  microsoft  security  show  video  tomshardware.com  meta  neuroscience  game  sciencealert.com 
Loading...

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

On the Navier–Stokes Millennium Prize Problem

17 days ago openai.com math vibecoding

Navier-Stokes – Tristan Buckmaster [pdf]

17 days ago cims.nyu.edu math pdf vibecoding

OpenAI fought dirty on career-making math problem

17 days ago techcrunch.com math openai

A Misalignment of AI in Mathematics

14 days ago terrytao.wordpress.com ai math vibecoding

A New Equal-Area Map for Interactive Computer Use (natively zooms to Mercator)

10 days ago benjoffe.com math web

Make Math Automatic with Mathy

4 days ago gmays.com math

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

6 days ago terrytao.wordpress.com math

A misalignment of AI in mathematics

14 days ago mathandai.org ai math vibecoding

After Math

12 days ago terrytao.wordpress.com math vibecoding

The Age of Wonders and Terrors

10 days ago scottaaronson.blog ai math

OpenAI forms math advisory group as its AI resolves more than 100 open problems

3 days ago techcrunch.com ai math openai

A Crash Course in Predicate Logic

24 days ago hillelwayne.com math

OpenAI Says It Has Solved a Millennium Prize Problem—a Holy Grail of Math

17 days ago wsj.com math openai

Study Math with Kusama

23 days ago medium.com math

RSA-896

5 days ago saweis.net cryptography math vibecoding

Bad benchmarks and evals: Senior SWE-Bench, napkin math, and winter tires

14 days ago danluu.com math

Math Professor Accuses OpenAI of Copying His Work, Says AI Compute Power Makes Racing to Publish 'Pointless'

10 days ago abc.net.au ai math openai

Biology Might Not Be Quantum, but Its Math Is Quantumlike

16 hours ago quantamagazine.org biology math

Relation algebra is not relational algebra

4 days ago remy.wang database math

More questions about whether researchers can trust OpenAI with unpublished math

15 days ago mathstodon.xyz math openai

Consistent Hashing Proofs

6 days ago ch.terabyteoff.com compsci math

Did OpenAI solve the wrong Navier-Stokes problem?

3 days ago scientificamerican.com math openai vibecoding

OpenAI Says It Has Cracked One of Math's 'Millennium Problems'

17 days ago nytimes.com math openai

AI Is Not Going to Kill My Love of Math

14 days ago chillphysicsenjoyer.substack.com ai math

Show HN: Math Gambling

15 days ago kuber.studio math show

How An AI math breakthrough ignited a controversy

16 days ago science.org ai math

Formalizing Fermat's Last Theorem

21 days ago anthropic.com math vibecoding

Showcase: a library to convert LaTeX math to MathML Core

14 days ago reddit.com math rust

Tao: Open math problems being non-renewably mined by AI

16 days ago mathstodon.xyz ai math

Fermat's Last Theorem: Anthropic has beaten me to it

20 days ago xenaproject.wordpress.com math vibecoding

More →