MIT develops a mathematical framework enabling AI to revise its reasoning, not just search data. A leap towards genuine scientific discovery.