First screen, captured .
1339 points by tedsanders | 968 comments
OpenAI announcement that one of its models disproved a central conjecture in discrete geometry, with links to the proof and companion remarks.
135 points by raahelb | 105 comments
OpenAI research post describing how thousands of GPT-Rosalind agents analyzed a whole-brain CRISPR atlas with PerturbAI and Scripps Research to surface biological leads.
1994 points by rd | 2372 comments
OpenAI's launch page announcing GPT-5, described as its smartest, fastest model with built-in thinking, available to everyone in ChatGPT.
1295 points by tedsanders | 1045 comments
OpenAI research publication page on the Navier–Stokes Millennium Prize Problem, linking to a paper and a Lean formalized proof.
9 points by jumploops | 1 comments
A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.
20 points by tootie | 6 comments
GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.
1171 points by meredydd | 1120 comments
A declaration by mathematicians arguing that AI companies' use of math problems as benchmarks harms mathematics and the mathematical community, inviting endorsements.
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
9 points by vikas-sharma | 0 comments
GitHub repository from OpenAI containing mathematical preprints, Lean proof artifacts, and reasoning traces produced by its models.