AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy

Math suits AI because proofs go step by step and answers can be verified automatically, so models can be trained and graded on problems with objectively right or wrong results. At the Heidelberg Laureate Forum in Germany, mathematicians debated OpenAI's claim that its AI solved Navier-Stokes, one of the seven Millennium Prize problems, and critics said the company bypassed community norms.

Summary written with AI by HowTechMoves, based on reporting by IEEE Spectrum.