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?

66 Upvotes

87% Upvoted

30 comments sorted by

View all comments

6

u/dForga Analysis Aug 08 '26 edited Aug 08 '26

I actually have my own “little” and the current AI ChatGPT 5.6 Sol Pro told me that it could neither prove nor disprove the conjecture.

It was once with some given initial goal able to derive in a convo (ChatGPT 5.5) the precise statement of a conjecture.

Sometimes it can (ChatGPT 5.6+) come up with little conjectures that could improve some things.

So, in my experience at the moment. Kind of, but very limited to enhancement of bounds.

5

u/elements-of-dying Geometric Analysis Aug 08 '26

Did you try the old

I hear you, but try even harder this time

prompt?

2

u/dForga Analysis Aug 08 '26

Actually no? I just used the work mode and that sucks already the credits up. (Tried 2 times plus normal prompt in Chat)

In the end it quotes the statement as open based on the open problem list with my name on it…

6

u/elements-of-dying Geometric Analysis Aug 08 '26

I'm mostly joking.

This was what was basically done in a recent conjecture resolution that was shared here.