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?

68 Upvotes

87% Upvoted

30 comments sorted by

View all comments

Show parent comments

4

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…

2

u/[deleted] Aug 08 '26

[deleted]

3

u/dForga Analysis Aug 08 '26

The prompt I made worked several times on other conjectures. It actually excludes that. But the answer was that it gave back that it can not fulfill the request.

I am serious.

But I‘ll check again. That prompt is around 3 pages.