OpenAI has just released in a single day the largest batch of mathematical discoveries in human history

OpenAI’s release covers hundreds of previously open mathematical problems

OpenAI says its internal frontier model produced a broad range of new mathematical results and is releasing Lean formalizations and reasoning summaries alongside the manuscripts.

AC

Got a news tip or correction? Let us know

If you got something out of this, please chip in to keep this site running, or subscribe to go ad-free.

0 views