Comment by rluna828
9 hours ago
If a prompt can solve a useful math proof, then someone else will find that prompt. In which case, openAI won't get the street cred(wall street) it needs. Nobody is hiding secrets to gain advantage in this environment.
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.
I think it depends on the situation. If there are profitable applications, they might keep the proof to themselves, but I agree with you in most cases.