AI-Assisted Navier-Stokes Proofs Spark Priority Dispute Between OpenAI and Academic Mathematicians
NYU mathematician Tristan Buckmaster and Anthropic's Levent Alpöge announced three proofs, including a preliminary result on the Navier-Stokes existence and smoothness Millennium Prize problem, produced with heavy use of...