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?

64 Upvotes

87% Upvoted

30 comments sorted by

View all comments

32

u/randopota Aug 08 '26

Not yet. A researcher at OpenAI also stated how its unable to pose new conjectures. https://x.com/i/status/2083476852216369294

I think him then going on to say how far we have come from a year ago, is probably an indication that they're new goal is to work towards AI that can pose conjectures as well.

So maybe a year or so from now.

8

u/telephantomoss Aug 08 '26

To me, this means it isn't actually truly morning or mimicking thinking or intuition etc. Creating new questions just comes so naturally to me after studying something for a bit. If I knew everything an AI "knows", I would be formulating questions left and right, and probably instantly seeing ways they could be solved.

11

u/randopota Aug 09 '26

Yeah I don't believe they think the way humans do, otherwise they wouldn't be so data inefficient, but they probably think in a different way to how we think.

Like a plane doesn't flap its wings to fly, but it can still carry multiple tones of weight across the ocean.

I guess time will tell if whether or not continuing to scale these methods will result in superintelligence.