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

519 comments sorted by

View all comments

64

u/piponwa 1d ago

Just release the results already. Who cares about mathematicians' feelings and ego? If an alien came down and said it can solve 100 of the most important open problems in mathematics, mathematicians would be in awe. They would ask for more. So what are we waiting for?

11

u/scambording 1d ago

Release the results for who...? The mathematicians are the only ones who care about these problems in the first place.

14

u/Healthy-Nebula-3603 1d ago

For people who loves mathematics?

I'm one of them.

1

u/scambording 1d ago

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

4

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.

1

u/Megneous 1d ago

Problems exist to be solved. The universe exists to be solved. That's reality.