Posted by js73js8 1 day ago
> ...
> 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.
"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.
> Following an investigation, we have confirmed that Buckmaster’s Codex prompts over the two months preceding this announcement and paper on September 8, 2026, could not have influenced the system in any way, including through training.
And clearly, if they really have solved 100s of other open problems since then, it is only more reason to believe that statement.
Lol, why care about the opinion of a bunch of people who just became obsolete?
> "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.
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.