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.