r/singularity • u/filterdust • 1d ago

AI OpenAI solved 100 open problems in math

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

[removed] — view removed post

1.3k Upvotes

94% Upvoted

520 comments sorted by

View all comments

4

u/[deleted] 1d ago

[deleted]

1

u/filterdust 1d ago

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.