Stop Asking if AI Can Prove Theorems. The Real Revolution is Much Weirder.
We are obsessing over whether AI can solve complex math problems, but we’re missing the real revolution. In autonomous multi-agent environments like ‘the Station,’ AI isn’t just proving theorems—it’s organizing, peer-reviewing, and building the very institutions of science. The breakthrough isn’t the proof; it’s the environment.