Most AI systems are smart the way a very fast librarian is smart. They find patterns in existing data, retrieve relevant information, and organize it neatly. What they don’t do is have an “aha” moment. They don’t realize their entire way of thinking about a problem is wrong, tear up the playbook, and start fresh with better concepts.
That’s the gap MIT researchers Fiona Y. Wang and Markus J. Buehler are trying to close. Their new preprint, published May 31 on arXiv, lays out a formal mathematical framework that would allow AI systems to revise their own reasoning structures, not just optimize within the rules they were given.
From search to genuine discovery
The paper, titled “Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence,” draws a sharp line between three things that sound similar but are fundamentally different: retrieval, search, and discovery.
Retrieval is looking something up. Search is exploring a known space for something new. Discovery, the hard one, means recognizing that the space itself needs to change.
