Markus Buehler frames AI discovery as a verified regime shift

MIT researcher Markus Buehler announced Friday that his team has published a paper on arXiv establishing a formal framework for AI-driven scientific discovery, arguing the process constitutes a fundamental shift in representational regimes rather than mere answer generation. The paper uses category theory to define a fixed regime through schema categories, system states, and provenance, positioning AI discovery as a verified transformation of how evidence, artifacts, operations, and verifiers are structured.