Stokes’ 180-Year-Old Fluid Puzzle Ignites AI Industry Clash
OpenAI claims its AI agents solved the 180-year-old Navier-Stokes existence and smoothness problem, a feat that has sparked fierce disputes among tech rivals and mathematicians. The controversy centers on the validity of the proof, which was verified using the Lean programming language, and accusations that OpenAI scooped human research. While the Irish Times highlights the Irish connection to the puzzle’s creator, George Gabriel Stokes, the broader scientific community remains divided on whether AI can genuinely resolve such complex mathematical challenges or merely identify counterexamples.