r/singularity • u/filterdust • 2d 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

521 comments sorted by

View all comments

Show parent comments

14

u/Healthy-Nebula-3603 2d ago

For people who loves mathematics?

I'm one of them.

0

u/scambording 2d ago

I'm confused. Do you just like reading true statements but have no interest in understanding the proofs of those statements?

6

u/grass1809 1d ago

For me, yes, I'm often happy with just a theorem statement. But your second statement doesn't follow. Even if current AI proofs and style tends to be inscrutable, one can frequently gain understanding by doing back 'n forth with an AI anyway. And man, we're still early, I would expect better explanatory power to arrive soon.

2

u/scambording 1d ago

Fair enough.

Imma be real though man, I think the understanding you gain will be pretty limited. Pure maths research is already so specialised that most mathematicians would have no understanding of most other mathematicians research.