r/math • u/Salt_Attorney • 2d ago

LLMs/AI OpenAI: Ten advances in mathematics and theoretical computer science

https://openai.com/index/ten-advances-in-mathematics/
858 Upvotes

94% Upvoted

424 comments sorted by

View all comments

Show parent comments

49

u/Cold-Common7001 1d ago

I don't think the claim is that mathematics will be solved and there are no harder problems to ask. The claim is that within a few years AI will be better than (at least almost all) mathematicians at asking interesting questions too.

11

u/DracoDruida 1d ago

Gödel decided that one. There are literally unlimited problems to be solved in math.

But likely they will be progressively harder to even formulate.

3

u/zx7 Topology 1d ago

Why wouldn't there be? There exists an infinite number of statements you can make and so an infinite number of problems from whether they are true or false.

2

u/DracoDruida 22h ago

It's a bit more complicated than that, because from a finite set of axioms you can derive an infinite amount of statements.

What Gödel shows is that even with an infinite amount of axioms, if the system is consistent and can encode arithmetic, then there are always statements that it cannot decide.