THINK TANK DAILY™ · ISSUE 062 · SCIENCE

AI Can Write the Proof. Who Gets to Say It's True?

OpenAI released 722 manuscripts claiming solutions to 372 families of open math problems. The Tank expects only 20 to 60 to be independently verified by June 2027, with Lean re-checking the fastest path to certification.