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  arstechnica.com  theguardian.com  psychology  linux  google  psypost.org  apple  show  video  microsoft  nature.com  security 

A misalignment of AI in mathematics

28 days ago mathandai.org ai math vibecoding

After Math

26 days ago terrytao.wordpress.com math vibecoding

The Age of Wonders and Terrors

24 days ago scottaaronson.blog ai math

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

17 days ago techcrunch.com ai math openai

A Crash Course in Predicate Logic

38 days ago hillelwayne.com math

Show HN: Make math automatic with Mathy

18 days ago gmays.com math show

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

31 days ago wsj.com math openai

Study Math with Kusama

37 days ago medium.com math

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

28 days ago danluu.com math

RSA-896

19 days ago saweis.net cryptography math vibecoding

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

24 days ago abc.net.au ai math openai

Biology might not be quantum, but its math is quantumlike

14 days ago quantamagazine.org biology math

Relation algebra is not relational algebra

18 days ago remy.wang database math

More questions about whether researchers can trust OpenAI with unpublished math

29 days ago mathstodon.xyz math openai

Consistent Hashing Proofs

20 days ago ch.terabyteoff.com compsci math

Did OpenAI solve the wrong Navier-Stokes problem?

17 days ago scientificamerican.com math openai vibecoding

Show HN: Lathoa, a math app for kids where the AI is wrong on purpose

9 days ago lathoa.ai ai math show

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

31 days ago nytimes.com math openai

AI Is Not Going to Kill My Love of Math

28 days ago chillphysicsenjoyer.substack.com ai math

Show HN: Math Gambling

29 days ago kuber.studio math show

How An AI math breakthrough ignited a controversy

30 days ago science.org ai math

Showcase: a library to convert LaTeX math to MathML Core

28 days ago reddit.com math rust

Formalizing Fermat's Last Theorem

34 days ago anthropic.com math vibecoding

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

30 days ago mathstodon.xyz ai math

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

34 days ago xenaproject.wordpress.com math vibecoding

Better AI code comment detector

30 days ago entropicthoughts.com ai math vibecoding

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

25 days ago baldino.dev compsci math python

Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”

33 days ago mathstodon.xyz math vibecoding

AI Is Powerful Enough to Crack Our Hardest Math Problems–and Kill Us All

27 days ago wsj.com ai math

Reversing Factorio's RNG

27 days ago gegell.github.io game math reversing

More →