>math professor spends a year on one of the hardest unsolved problems in math >'Navier-Stokes' >his drafts for the whole project went throug…

math professor spends a year on one of the hardest unsolved problems in math >"Navier-Stokes" >his drafts for the whole project went through codex sessions >openai had his logs in codex >suddenly rumor leaks AI solved it >he emails openai to ask what's going on >openai calls within days >"funny story, our model also solved it" >using his exact approach >asks openai: did you train on my sessions? >no answer If I am reading this correctly, Tristan Buckmaster is alleging OAI has a resolution of Navier-Stokes(via Córdoba and Martínez-Zoroa’s program) which maybe used info from Buckmaster and Levent Alpöge’s private Codex sessions What the fuck is happening!!!

Source: Gary Marcus (X) | 2026-09-08