C*: Unifying Programming and the Navier–Stokes Millennium Prize Problem

Inception is one of the most senior OpenAI researchers on twitter, I feel even less confident in them as a team to be shepherding this much capital and compute. The dark forest awaits.. Inception is one of the most important moments in the history of mathematics. We now have a non-human intelligence capable of solving one of the most difficult problems in mathematics.