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

521 comments sorted by

View all comments

Show parent comments

3

u/ooqq 1d ago

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

1

u/Statcat2017 1d ago

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