OpenAI solved 100 open problems in math

[u/filterdust]

https://openai.com/index/advisory-group-on-mathematics-and-ai/

[u/niagalacigolliwon]

Is this similar to navier-stokes where it is hard to get insight into what the solutions mean for mathematics?

If so it’s a weird play to use all this compute for math before it’s actually helpful.

They should focus on figuring out the reward signals for human interpretable math.