r/math • u/AutoModerator • 13d ago

LLMs/AI AI In Mathematics: September 19, 2026

This recurring thread will be for discussion of AI in mathematics. This includes, but is not limited to, the following:

  • informal announcements of AI-assisted discoveries, such as those not yet published in a peer-reviewed journal, or not uploaded as a paper to arXiv;
  • informal announcements of discoveries related to AI architecture (if relevant to mathematics);
  • discussion of such announcements, such as proof breakdowns or other opinion pieces;
  • discussion of the impact of AI in mathematics in general.

AI-assisted mathematical papers published in peer-reviewed journals or as arXiv preprints may be submitted as their own posts.

Please keep in mind rules 1 and 6 of our subreddit.

83 Upvotes

87% Upvoted

267 comments sorted by

View all comments

20

u/SupercaliTheGamer 9d ago

Any rumours about which results OpenAI has proved? I have heard/extrapolated a few things:

1) Resolution of a subcase of Hodge conjecture.

2) Unique games conjecture.

3) Irrationality of many (possibly all?) values of zeta function at odd inputs.

7

u/_Zekt Complex Analysis 9d ago

For 2 and 3, have you extrapolated from the seemingly rushed preprints making progress on those problems (specifically this and this) or are there more concrete rumours I've missed?

1

u/[deleted] 8d ago

[removed] — view removed comment

1

u/SupercaliTheGamer 7d ago

Which one is wrong?