Interesting bits from Buckmaster and Alpöge’s work:
- An AI did not come up with this idea, the approach is from Córdoba and Martínez-Zoroa
- Working on this for a year
- Purely personal, tokens paid for by academic grant
- The paper produced by the AI is considered “slop”
- “the first LLM generated proof Levent sent me was the most horrendous I have ever read”
Quote
Jaume de Dios
@JaumedeDios
Replying to @JaumedeDios
Tristan wrote a statement explaining the rocky story of this work, and hinting at an upcoming Navier-Stokes proof by @OpenAI, which is really worth a read cims.nyu.edu/~tristanb/stat
