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

A mathematician alleges OpenAI's little human input claim for its Navier-Stokes proof fell apart during a call.