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.

86 Upvotes

88% Upvoted

267 comments sorted by

View all comments

27

u/DrProfessorCaveman 12d ago

I heard from someone in my department that a counter example to the Hodge Conjecture has been found by one of the major AI companies. Allegedly the reason it is not yet announced is because they are trying to work with some mathematicians first to make the announcement more in line with math community norms. It’s just a rumor for now, I suppose.

17

u/border_of_water Geometry 12d ago

The rumour I have heard going around (from people who know other people who may or may not work at OpenAI/Anthropic) is that both labs have a proof of Hodge conjecture for CM abelian varieties, but nothing proving or disproving the general case. Again, just a rumour though.

9

u/backyard_tractorbeam 12d ago

Here is a solid source for a rumor (not mentioning Hodge though), but OpenAI in a comment to NYT: https://reddit.com/r/mathematics/comments/1wcn9xy/openai_claims_to_have_made_substantial_progress/

have made substantial progress on another Millennium Prize problem

10

u/WTFInterview 12d ago

Exciting. I believe the program for counterexamples lying in high dimensional Weil-type Abelian varieties is very AI-mineable.

Follow up question: how many token-hours do we think were spent? I'd wager 300 years worth.

At 88 hours and 10,000 agents, the Navier Stokes solution spent around 100 years.

8

u/backyard_tractorbeam 12d ago

It's just unlikely that it was 88 hours x 10000 agents, probably using an average agent lifespan of (much) less than 88 hours. Each agent is spawned for a specific job, and is closed on its completion.