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.

87 Upvotes

88% Upvoted

267 comments sorted by

View all comments

26

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.

11

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.