Comment by dmitriy_ko
8 hours ago
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.
Indeed. Their model they showed off that was ~5x better than 6 Astra in certain domains including mathematics is not public and I doubt they'd release it. They distill their internal large into their public models.