Leebra math
login register

OpenAI solved over 700 open math problems using an internal frontier model.

5 days ago by lemonhead2 to c/math

save

share

report

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

overview of all results is here:

https://github.com/...

Several are fields medal worthy results. One proves the Riemann hypothesis for Re(z) >7/8, which is a substantial improvement over previous results

sk 3 points 5 days ago

I watched an online lecture recently where it was hinted that mathematicians have access to models that are not public yet and they seem impressed with their capabilities.
https://www.youtube.com/watch?v=9EuNUe-CJRM

save

path: 0 26211955, hotness: undefined, score: 3, children: 0
Artisian 2 points 5 days ago

Downvotes are disappointing; this is very clearly relevant math news, even if we don't like the news.

save

path: 0 26222040, hotness: undefined, score: 2, children: 2
lemonhead2 0 points 5 days ago

it will take some time for people to accept it. we are currently in the burry head in sand phase. a lot of these are prize worthy results....

save

path: 0 26222040 26222560, hotness: undefined, score: 0, children: 1
Artisian 1 point 4 days ago

Indeed. Unique games surprised us.

save

path: 0 26222040 26222560 26223300, hotness: undefined, score: 1, children: 0
math
math

@lemmy.world

login for more options
1113
160
138

General community for all things mathematics on @lemmy.world

Submit link and text posts about anything at all related to mathematics.

Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.

go to feed...