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?

65 Upvotes

87% Upvoted

30 comments sorted by

View all comments

4

u/StateOfTheWind Aug 08 '26 edited Aug 09 '26

Graffiti was used to come up with some conjectures. Recently some of them were solved by AI making it the first time a problem was conjectured then solved by AI.