Mathematicians Debate OpenAI's Navier-Stokes Claim and AI's Impact on the Field

Mathematicians at the Heidelberg Laureate Forum discussed AI companies, including OpenAI, Anthropic, and Google, solving longstanding math problems.

OpenAI announced it had solved the Navier-Stokes existence and smoothness problem, a claim the article says is still awaiting verification, and Harris criticized the company's conduct toward a mathematician.

Researchers also warn that AI solutions may lack understandable methods and are changing how academics work.