Mathematician alleges OpenAI's proof story fell apart on a call

OpenAI says an internal model has cracked one of the hardest problems in math. NYU mathematician Tristan Buckmaster says the story he was told about how it happened came apart while he was on the phone with the company.

Buckmaster says Martínez-Zoroa deserves a Fields Medal

OpenAI said Tuesday one of its internal models had demonstrated finite-time “blow-up” for the forced Navier-Stokes equations, one of seven Millennium Prize Problems, each with a $1 million reward.

Blow-up means that the equations allow the speed of a fluid to become infinite at a point, which is not allowed by physics.

The company says the argument was checked in Lean, a proof-verification language used to formally confirm mathematical proofs.

If it holds up, it would be only the second Millennium problem ever solved, and the first credited to an AI company.

Days earlier, Buckmaster and Levent Alpöge, a mathematician working for Anthropic, had published their results: finite-time blow-up under smooth forcing for 3D incompressible Euler, Boussinesq, and incompressible porous media, made formal in Lean. “Remarkable achievement,” said Fields Medalist Terence Tao.

… Continue reading the full article at the original source below.