77 points•js73js8•9 days ago•67 comments•

67 comments

kingstnap9 days ago
There are three big things in this announcement it seems.

> In addition to resolving the Navier–Stokes Millennium Prize problem , this model has now resolved more than 100 long-standing open problems across most areas of mathematics.

Rumor was they were sitting on the solution to the Hodge conjecture. I wonder if thats one of these.

> The group will advise on the review and communication of emerging results.

With hundreds of results, and the seeming exponential vertical from earlier in summer (10 major results from Astra, now hundreds...) I do wonder how exactly such a group decides to disseminate results. If it will instantly bottleneck. I mean I checked their site and it seems to be a google form asking for opinions.

> Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.

Spicy. I think the super intelligence benchmark for me is P vs NP. That one I know is proper hard and feel it in my bones.

In related notes I watched a panel of mathematicians discuss AI recently on YouTubes. Specifically the hlf26 one. [0]. I also watched Terrence Taos recent one on SAIR [1]. In addition to a few others like Tom Rocks and Martin Hairer [2]. Whats abundantly clear is that no one has any answers to what this means for the future of mathematics. They all waffle about what anyone is going to be doing in a few years.

[0] https://youtu.be/H7_d_sgui6o

[1] https://youtu.be/PZRb6NIki2w

[2] https://youtu.be/G8HMa_tgM34

optimalsolver9 days ago
It's funny coz this was what humans were supposed to be doing in techno-utopia, while AI does all the boring stuff. I don't think many predicted art and theoretical math would be first to fall to the machines.

The next few years are gonna be very rough for the human exceptionalism crowd.

kenjackson9 days ago
In fairness this is the boring stuff for a lot of people. :-)
HarHarVeryFunny9 days ago
> Rumor was they were sitting on the solution to the Hodge conjecture

I think someone at OpenAI (Brockman?) claimed they had "made substantial progress on it", but there is a mathematician on Twitter offering a $25,000 bet, with no takers, that they have not solved it, and that the "substantial progress" they have probably made would still leave them a lot further from a solution than they imagine.

I also see someone else on Twitter claiming to have used AI to understand what the Hodge conjecture is. :)

I really wish OpenAI would fire their PR department (incl. mathematicians), and concentrate on trying to build AGI, or RSI, or generate tons of money, or whatever they are trying to do.

Edit: Apparently not Brockman - some unknown leaker saying there was progress or an expected result soon

dumberquestions9 days ago
PR is important for getting investor money, which is important for building infrastructure and AGI, I don't think they're spending millions on pure math for fun.
dist-epoch9 days ago
> there is a mathematician on Twitter offering a $25,000 bet, with no taker

OpenAI spent $15 mil working on Navier Stokes.

So you're saying OpenAI not taking a $25k bet is proof of something?

Certhas9 days ago
Mathematics has enough cultural capital within the AI companies that they get to have this "advisory board".

Nobody else is getting that. When/If the severe impacts on labor materialize, workers won't get an advisory board. They will just get fired, and the companies will celebrate it as efficiency wins.

I think it's time to get very very real about regulation/taxation. Token/Compute sales tax that gets redistributed as UBI?

scurnus9 days ago
Mathematics is just one of the first fields where models are better than humans and it is inconfutable.

Workers will get many boards for sure, you are underestimating unions and protests, it just won't be accepted that there isn't any job for people. The change will be diluted, to try to make economy absorb it.

pfdietz9 days ago
> inconfutable

What a seriously cool archaic word.

Firaxus9 days ago
Unfortunately the general population are going to have to hurt more before they begin being open to those options, assuming they don’t try to kill ai in general.
mwkaufma9 days ago
"Advisory Group"

   Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.
pixl979 days ago
Again, internal and external are two different things.

They can solve whatever problems they like, and they can use those findings internally however they like. I think the advice is on how to disclose the findings to the public without as much uproar as our previous debacle.

HarHarVeryFunny9 days ago
I guess the OpenAI board was an advisory group too.

  Importantly, our board will not be responsible for advising us on anything.
classified9 days ago
What can you expect when the wolf is the shepherd?
1242asZ9 days ago
Like in Yes Minister, when they from a committee for a "full investigation". Gowers is on it, of course.
anothermathbozo9 days ago
> internal progress on mathematics

This alone feels like a horrible new paradigm

Read the full thread on Hacker News →

Related stories