OpenAI's Navier-Stokes proof didn't steal the Spanish program, mathematicians now say

basedjensen · x · 2026-10-14

A Scientific American report says rumors that OpenAI's 166-page Navier-Stokes proof stole the work of two Spanish mathematicians may have been overblown: EPFL mathematician Gonzalo Cao-Labora and others find the approach is, in detail, different from the "Spanish program" of Diego Córdoba and Luis Martínez-Zoroa, with similarities only skin-deep.

This may defuse the public conflict with NYU's Tristan Buckmaster, who with Anthropic's Levent Alpöge had used LLMs to advance that same program and cried foul after OpenAI announced its proof. The poster still argues Buckmaster's public accusations did "irreparable harm."

Original post →

More from Fun

Fun channel →