Comment by dragontamer

How rich do you think math majors are? No theoretical math professor or department can afford $20,000,000 in tokens for these problems.

Meanwhile, the AI labs are doing that for just marketing.