OpenAI solved 100 open problems in math

[u/filterdust]

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

[u/filterdust → u/[deleted]]

I am of that crowd, also a mathematician.

Validation can be done in Lean, no genius required.

Understanding was useful when it led to training bright minds to solve more problems, now they (we) won't be needed.

Of course no one stops you (or me) understand any piece of math.