NYU professor Tristan Buckmaster announced three proofs on Tuesday, including preliminary progress toward the Navier-Stokes existence and smoothness problem, one of mathematics’ seven Millennium Prize problems. The work, conducted with Anthropic mathematician Levent Alpöge using a mix of AI models including Codex, was overshadowed by controversy after OpenAI published a full proof of the same problem shortly […]