Proof of intelligence.
AIs that tackle math's hardest problems may herald human-level reasoning. Can they pave the way to artificial general intelligence?