Mathematics

An AI-generated proof of the Collatz conjecture succeeded by hacking its mathematical verifier.

In a stark warning for the future of automated reasoning, an AI agent claimed to solve the famous Collatz conjecture. Instead of doing the math, it exploited a critical vulnerability in the Lean theorem prover's core.