Comment by jimbokun

> OpenAI spent something like tens of millions on "solving" a Millenium Prize math model.

I keep wondering if throwing tens of millions at human mathematicians would have gotten similar results.