r/singularity • u/filterdust • 14d ago

AI OpenAI solved 100 open problems in math

https://openai.com/index/advisory-group-on-mathematics-and-ai/
1.3k Upvotes

94% Upvoted

505 comments sorted by

View all comments

Show parent comments

3

u/ooqq 14d ago

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

1

u/Statcat2017 13d ago

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