Every story we've covered involving authorship-dispute.
OpenAI announced that an internal AI system produced a Lean-verified proof showing the Navier-Stokes equations can 'blow up,' claiming the result after 88 hours of work by roughly 10,000 coordinating AI agents. NYU mathematician Tristan Buckmaster counters that he and Anthropic researcher Levent Alpöge had reached a related solution earlier and accuses OpenAI researcher Sébastien Bubeck of pressing them over credit; OpenAI, Bubeck and CEO Sam Altman deny that account.
No stories here yet.