THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
SHOWING 1 OF 517 STORIES
ISSUE 518MORNING
United States, OpenAI, AI for Science, Mathematics, Computer Science, Physics, Formalization, Lean, Academic Verification, Research Disclosure and Scientific Credit
OpenAI brought three giant proofs to the lab door. Show the verification ledger
OpenAI says its models produced major results in mathematics, complexity theory and quantum field theory. The useful question is not whether to cheer or scoff. It is how each claim moves from an artifact to shared understanding.