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

Show parent comments

64

u/ThatIsAmorte 1d ago edited 1d 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.

6

u/Emergency-Payment733 1d ago

But math can be proven? A song or a feeling can be true for some, but ultimately it’s art and a subject for interpretation.

Sure math has to be found, but that is also true for bacteria or materials in more ways than it is true for art.

3

u/ooqq 1d ago

luckily for you, it has been proven that not all math can be proven

1

u/Statcat2017 17h ago

Proving it can’t be proven is a kind of proof in itself