“We reproduced the formal checks, proved an explicit bound for one construction step, and tested how 8DB handles its evidence.”

8braid.com · Sep 15 · Mathematicians Rebut OpenAI's Navier-Stokes Proof as Solving the Wrong Problem