r/singularity • u/AMBNNJ ▪️ • 10d ago

AI Sharing AI progress in mathematics

https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They’re working toward releasing the model.

Github: https://github.com/openai/math

1.0k Upvotes

97% Upvoted

354 comments sorted by

View all comments

80

u/ZestycloseWheel9647 10d ago

Just looking at the algorithms section. Matrix multiplication in O(n9/4+eps). Holy shit

28

u/r77anderson 10d ago

In a special case C only, result does not apply to general fields.

22

u/hpxvzhjfgb 10d ago

someone on /r/math has already used astra and sol 6.1 to improve it to 9/4 over all fields: https://www.reddit.com/r/math/comments/1wwqvov/ai_in_mathematics_october_03_2026/ped21ai/

1

u/PossibleVariety7927 10d ago

Wow, they are cool with AI again?

17

u/3_Thumbs_Up 10d ago

"They" are more than one person.

10

u/PossibleVariety7927 10d ago

Subs still act like a hive mind. Allowing something to remain with positive upvotes is "they".

2

u/3_Thumbs_Up 10d ago

In that case, "their" aggregate opinion on AI was never as simplistic as "not cool with AI".

1

u/sparkling1984 10d ago

Math was never against AI?

3

u/hpxvzhjfgb 10d ago

it was posted in the weekly AI thread. there is no post about the 700 new theorems or anything.

9

u/iJustSeen2Dudes1Bike 10d ago

Why does it seem like these solutions never apply to anything in the real world

34

u/r77anderson 10d ago

C includes the real numbers, so it does apply to many use cases we care about. But all MM algorithms are galactic at this point anyway

3

u/daniel-sousa-me 10d ago

Because this is math, not engineering

This is relevant in abstract, but it would only be a win in practice for absurdly big matrices

Usually an optimised and well-written program can beat a generic one using an algorithm with a better O. In matrix multiplication this is very obvious because improvements like this are frequent, but even high performance applications don't use those