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  github.com  openai  vibecoding  health  release  techspot.com  theguardian.com  apple  google  arstechnica.com  linux  psychology  psypost.org  video  show  web  security  microsoft 
Loading...

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

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

2 days ago github.com math openai vibecoding

OpenAI Withdraws 3 Math Papers

31 hours ago github.com math openai

OpenAI unleashes hundreds more math results upon a field in shock

2 days ago scientificamerican.com math openai

The Mathocalypse

44 hours ago scottaaronson.blog math vibecoding

“Math 2.0” will need to value mathematical progress more holistically

34 hours ago mathstodon.xyz math

Monte-Carlo simulations

36 hours ago eli.thegreenplace.net math

OpenAI’s math solutions aren’t meeting the field’s standards yet

16 hours ago techcrunch.com math openai

OpenAI releases 722 math manuscripts

2 days ago github.com math openai release

Float and integer arithmetic follow two different paradigms

4 days ago blog.pkh.me c math rust

Navier–Stokes Lost in Translation

2 days ago arxiv.org formalmethods math pdf reversing vibecoding

OpenAI Releases Findings on 377 Math Problems, Further Roiling Field

2 days ago nytimes.com math openai release

What's the future for pure math research in the age of AI?

5 days ago writings.stephenwolfram.com ai math

Vitalik Buterin backs crypto ‘bunker mode’ amid rapid AI math advances

20 hours ago cointelegraph.com ai math

Math's pedagogical curse – Grant Sanderson [video] (2023)

6 days ago youtube.com math video

How to Believe a Machine-Checked Proof (1997)

44 hours ago brics.dk formalmethods math pdf

Impossibility Proof for Instant 8-tuple Piston Extenders

47 hours ago youtube.com formalmethods game math reversing video

bloom filters and the math behind their false positive rate

3 days ago reddit.com math

c++ math - did someone say math

5 days ago youtu.be c++ math

Math solving pure reinforcement learning

6 days ago reddit.com math

How Lean 4 uses CompSci to Verify Math Proofs

8 days ago reddit.com math

On the Navier–Stokes Millennium Prize Problem

30 days ago openai.com math vibecoding

Navier-Stokes – Tristan Buckmaster [pdf]

31 days ago cims.nyu.edu math pdf vibecoding

OpenAI fought dirty on career-making math problem

30 days ago techcrunch.com math openai

Adding Floating-Point Decimals for Fun and Profit

10 days ago blog.vero.site math

A Misalignment of AI in Mathematics

27 days ago terrytao.wordpress.com ai math vibecoding

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

24 days ago benjoffe.com math web

We're gonna need a lot more mathematicians

13 days ago terrytao.wordpress.com math vibecoding

Reflections on 1,000 Days of Math

16 days ago gmays.com math

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

20 days ago terrytao.wordpress.com math

A misalignment of AI in mathematics

27 days ago mathandai.org ai math vibecoding

More →