Stochastic Search

Your PhD Just Became a Quality Control Job

An LLM generated a mathematically sound counterexample to a conjecture far outside the mathematician’s expertise. The bottleneck in science is no longer discovery—it’s verification. Human experts are becoming auditors of an AI’s accidental genius, and the burden of proof has never been heavier.