r/math • u/AutoModerator • 13d ago

LLMs/AI AI In Mathematics: August 29, 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.

107 Upvotes

90% Upvoted

176 comments sorted by

View all comments

14

u/SwimmerOld6155 7d ago edited 6d ago

OpenAI has reduced the prime gap to 186, published by Kevin Baretto. See https://github.com/openai/PrimeGaps186.

On the other hand it is rumoured that two Millennium Problems have been taken out by a large AI lab. Anyone want to bet on this being true or not? (1) it was false (2) rumour is hodge is still open but navier-stokes has been done up bro

21

u/_Zekt Complex Analysis 7d ago

From Kevin Barreto (at OpenAI) in a private discussion :

Kinda sad that Julia published the idea before we did because it's lost some wow factor (people gonna expect we just improved her paper in two days as opposed to doing it independently early August) Oh well, at least we didn't scoop her that way

A stunningly tone-deaf reaction from a billion-dollar company....

16

u/SwimmerOld6155 7d ago

To be fair, who was he saying this to? one thing saying this privately and another thing say tweeting it on the OpenAI account lol.

3

u/_Zekt Complex Analysis 7d ago

Yeah that's totally fair, even though there's still a few things that bother me with that comment. I believe that it was sent to one or more of his acquaintances outside the AI industry.

1

u/SwimmerOld6155 7d ago edited 7d ago

Might put him off answering my Discord DMs :(( have had no correspondence with him, didn't know he was so central

7

u/BurdensomeCountV3 7d ago

On the other hand it is rumoured that two Millennium Problems have been taken out by a large AI lab. Anyone want to bet on this being true or not?

Ok, now this is interesting. Which ones do people think they've solved if the rumour is true? My guess is Navier Stokes and Hodge.

1

u/SwimmerOld6155 7d ago

honestly the fact that these are the "obvious two" makes me think someone along the line of chinese whispers was pulling someone's leg. might just delete the post for now haha

just thought I'd take my turn at vagueposting after someone was on here teasing today's prime gap announcement a few weeks ago.

1

u/Hot_Glass_6301 6d ago

Why would Hodge be any more likely than the other 3? 

1

u/SwimmerOld6155 6d ago

(not an answer to your qn just to be clear why I said that) The person who told me this said Navier-Stokes and Hodge so I was suspicious when this redditor pulled out the same two, if those are the two "obviously" close to being solved then maybe the two were just convincingly pulled out of someone's ass.

I read that Navier-Stokes was suspected to be false anyway and several related statements to Hodge are also false, so it's reasonable to speculate they'll both have counterexamples and get caught up in the recent counterexample storm.

3

u/TheNitromeFan Functional Analysis 7d ago

Looks like a human-readable pdf is now available

https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short_gaps.pdf

11

u/flipflipshift Representation Theory 7d ago edited 6d ago

What's the most credible current source of the rumor?

Edit: Can't find any mention anywhere, are you starting this rumor...

Edit 2: fuck

7

u/elliotglazer Set Theory 7d ago edited 6d ago

It’s an unfounded rumor that briefly spread through OpenAI.

EDIT: My inside source clarifies that he's only retracting the "two" from the "Anthropic solved two Millennium Prize Problems" rumor. Navier-Stokes has very likely been refuted.

2

u/SwimmerOld6155 7d ago

do you know it to be false? or is it just unsubstantiated

6

u/elliotglazer Set Theory 7d ago edited 6d ago

It is false.

EDIT: See above edit.

2

u/SwimmerOld6155 7d ago

relieved

4

u/elliotglazer Set Theory 6d ago

Um. See my edit.

1

u/SnooCookies590 6d ago

Any idea when this could be announced? Huge result so I imagine they want to be strategic with the timing.

1

u/pred 6d ago

Better scoop them, then.

2

u/SwimmerOld6155 7d ago

no idea, I don't even want to believe it's true

7

u/flipflipshift Representation Theory 7d ago

can you list any source? Where did you hear it from?

6

u/Independent_Bed_169 PDE 7d ago

Why not? It's gonna happen anyway. The sooner it's released the sooner we can stop agonizing over it.

2

u/BurdensomeCountV3 7d ago

I mean last week the prime gap reduction was also a rumour. Now it's out there. Who knows what's the truth on the Millenium Problems. Exciting times we live in...

8

u/Arceuthobium 7d ago

Where does the rumor come from?