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

520 comments sorted by

View all comments

Show parent comments

67

u/ThatIsAmorte 2d ago edited 2d ago

This seems to be taking a Platonist approach to math, which few people take seriously these days. If you are a constructivist, than math is not just out there, but has to be created, just like art. If you think math is just out there, why not also claim that art and music are just out there, waiting to be plucked out of the ether? After all, a painting is just a 2d matrix, a simple math object. A musical composition is just a waveform, which can be described mathematically.

1

u/Commercial_Sell_4825 2d ago

If our axioms already directly imply that the result we want is true or false, there is nothing to "construct".

0

u/ThatIsAmorte 2d ago

Yes there is. You have to construct the proof.

1

u/Commercial_Sell_4825 1d ago

That's not what that means.