Advisory Group on Mathematics and Artificial Intelligence

js73js8

https://agmai.org/

franticgecko3

The first field field has fallen to AI. I wasn't convinced until the mathematics community started responding, openly, with severe distress. What will be next?

OtherShrezzing

Advisory groups, especially ones stacked with prominent individuals, are where concepts go to die. They’re taken straight from the financial services playbook. Anyone remember all those climate/finance advisory groups from 2020/21? They’re all defunct now, having achieved nothing.

1242asZ

Like in Yes Minister, when they from a committee for a "full investigation". Gowers is on it, of course.

kingstnap

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

robotpepi

It feels like publicity stunt. Of they really care about research, they would at least have given more reasonable citations in the Navier-Stokes paper.

mwkaufma

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

gaigalas

What I predicted 9 months ago came to pass: > "a scenario in which a large automated proof is achieved but there would be no practical means of getting any understanding of what it means" https://news.ycombinator.com/item?id=46284897#46286785 That is precisely the concern of mathematicians (getting proof without getting the knowledge to humanity): > But solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of "true/false" statements could destroy fertile ground instead of breathing life into new ideas. I predict it's only going to get worse. So far, in software, all AI companies push for results that you don't necessarily need to understand (don't look at the code). I don't see any reason why they would change that posture for math. "Your advice for making AI-obtained proof are sensible, but AI has progressed too much and I'm afraid you're obsolete and all math is now a compiler target and not an actual craft", is what I predict based on the exact same thing happening to software recently.

anothermathbozo

> internal progress on mathematics This alone feels like a horrible new paradigm

Certhas

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?

blurbleblurble

You'd think they'd be able to read the room with all that artificial intelligence. This is just horrible PR. What use is the product if you're just cannibalizing your prospective market?

SirMaster

I'll be impressed when it solves the P versus NP problem.

piker

> Initial Members of the Advisory Group on Mathematics and Artificial Intelligence (opens in a new window), hosted at the Institute for Advanced Study (opens in a new window): > ... > Timothy Gowers (Collège de France, Cambridge) https://gowers.wordpress.com/2026/09/17/why-i-didnt-sign-the... Well perhaps we spent a bit too much time discussing the argument and neglected the incentives.

moralestapia

>In a recent open letter “A Severe Misalignment of AI in Mathematics " [...] Lol, why care about the opinion of a bunch of people who just became obsolete?

pfdietz

G. H. Hardy is revolving in his grave. "Statesmen despise publicists, painters despise art-critics, and physiologists, physicists, or mathematicians have usually similar feelings: there is no scorn more profound, or on the whole more justifiable, than that of the men who make for the men who explain. Exposition, criticism, appreciation, is work for second-rate minds." -- from A Mathematician's Apology (1940) No wonder the scornful are upset with AI.

bmitc

> Mathematics is a fundamental science Wrong. Mathematics is not a science at all. > This has led to internal discussions on the best way to inform the community of the rapid progress to prepare and adapt the field. I'm also getting real tired of these Silicon Valley and VC bros telling people how to live their lives and how things should be. No, you don't get to tell other people how to operate. Who gave these people this authority? No one. It's confusing, yet not surprising, as to why they think they have this authority.

cantalopes

Not a word about stealing solution to the navier stokes prize problem

6gvONxR4sf7o

> The group will operate independently from OpenAI. The group will have the freedom to offer advice we have not requested, comment on OpenAI’s impact on mathematics, and make its advice public. That seems so empty. I also operate independently from them and have the freedom to tell them things they haven't requested and comment on their impact and do so publicly. But I doesn't have any impact on OpenAI. If they're trying to say how this will actually have any impact on anything at all, they're doing a shit job.

keeda

Huh I expected this to get way more attention given the huge buzz following the Navier-Stokes drama.

fireflysentinel

I asked Fable to predict which famous open problems are not in the 100+ list. It says Goldbach, Collatz, and abc, because those would warrant their own news posts.