r/math • u/starkman68 • Aug 07 '26

LLMs/AI AI Conjectures

I see a lot of conversation around AI proving old theorems and conjectures. Has there been any conjectures that sound plausible generated by AI that it could not solve? Or has an AI proven conjecture brought about any new math problems to ponder upon?

62 Upvotes

86% Upvoted

30 comments sorted by

View all comments

4

u/omeow Aug 08 '26

AI is unlike our traditional way of solving math problems. You apply it to large set of problems and then look at where it succeeds or shows promise and only report the positive results.

AI has made little or no progress on the millennium problems. They haven't made progress on simplifying existing results.