Number theorist Ken Ono shares insights on artificial intelligence and proofs

In a video interview, number theorist Ken Ono explains how machine intelligence is shifting the focus of mathematics from generating ideas to verifying logic. He discusses working with Axiom Math to check complex formal statements using automated systems.