alt Hacker NewsElsewhere 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.