Comment by dmitriy_ko

OpenAI cracked these frontier math proofs using models and amount of compute not available to general public. It's not the case that anyone can put "solve Navier–Stokes" in ChatGPT and get solution. Although less well-known problems can be solved with publicly available models.