THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
SHOWING 1 OF 317 STORIES
ISSUE 333MORNING
AI Mathematics, Formal Verification, Scientific Publishing, Research Access, Human Understanding and Frontier Models
OpenAI dropped 722 math papers. The proof burden landed on humans
An internal model produced 372 families of mathematical results. OpenAI published the manuscripts, but the repository itself warns that some unformalized work may contain errors. The release is a research event and a verification backlog at the same time.