Comment by seizethecheese
18 hours ago
Elsewhere in the thread, others have calculated $15mm at API rates for just the output token. (So I’ll assume this cost about that much, taking input and human researcher time.)
I wonder whether a team of 60 mathematicians working solely on this for a year would have cracked this. (Assuming $250k total compensation.)
Probably not. It's a millennium prize problem, a great many mathematicians have been working on it for a very long time.
Well, according to Terry Tao, there were recent developments (from weeks ago) that made Navier Stokes in principle, solvable. So ignoring time, I say possibly, just because the groundwork was laid.
What's impressive is parallelizing it arbitrarily and doing it in 88 hours.
Not as many as you'd expect. The perceived difficulty of the problem leads people to more reliable pastures.
Probably yes. Only a handful of mathematicians work on this particular problem, and ALL of them do not exclusively work on this problem, while having administrative and teaching duties.
The real issue is we'll never know. The rich are willing to risk it all on charismatic CEO psychopaths but not on humans.