Hacker News new | past | comments | ask | show | jobs | submit
There's a long collection of comments by mathematicians at [1]. A large number of workers in the field are rather discouraged. The main quality complaint is that the proofs are ugly, long, and incomprehensible. One mathematician comments that the first proofs of new major results are often like that. Elegance comes later. The main social complaint is that the social foundations of mathematics just changed, in a big way. The main practical complaint is "what do I do now", especially from PhD students who just lost their thesis topic. They sound like the Uber drivers fighting Waymo.

One comment was "A common piece of wisdom is that mathematicians only have a few tricks in their bag – which they skillfully apply again and again." Feynman made that point in his autobiography. For various reasons, he had a different set of mathematical tools than others in his field, and that helped him to solve problems that stumped others.

A big AI model has access to all known tools. AIs have more breadth than any human. Some of these breakthrough proofs seem to come from applying techniques from areas different from what people in the field tend to use. I'm not qualified to comment on math at that level, but the comments by mathematicians seem to hint in that direction. That may indicate why throwing vast amounts of compute at these problems works - an AI can try everything.

[1] https://proofsandprompts.com/2026/10/08/100-reactions-to-100...

Not only are the proofs long and unintelligent, but they don't cite previous work.

In fact, they completely disregard all standards of mathematical dissemination. They just post a bunch of 100+ page papers online and call it the day.

A real mathematician polishes and polishes for months until it is understandable by the community. Then they communicate the results to a journal where there are editors and peer reviewers who come with detailed feedback which is then implemented. And just then it is ready to publish.

loading story #50330378
loading story #50334852
> The main practical complaint is "what do I do now", especially from PhD students who just lost their thesis topic. They sound like the Uber drivers fighting Waymo.

I wish mathematicians would just focus on this. This really is the problem, at the end of the day.

Having models get better at writing elegant proofs and explaining their results will not solve this problem - it will only make it worse, if anything.

We are all sympathetic to this. I, personally, am much less sympathetic to the absurd notion that it is "bad" that this new technology can solve important open mathematical problems at all, that we should stop trying to solve them, that things like the Mathathon are dangerous and needs to be shut down, that ugly proofs are the real problem here, so much so that you wish the open question weren't resolved at all, and so on. So silly.

But being pissed off that people are going to be out of work is something I agree 100% on. Hopefully, much like the internet, there's a way to make the whole thing a net benefit for society.

> Hopefully, much like the internet, there's a way to make the whole thing a net benefit for society.

I don't see it. What I see is more wealth and power concentration and with the worst group of people possible.

Yeah I view it as AI being objectively good from a technological perspective - we get new medications, new technology is achievable faster overall.

But really bad from a social perspective - as people lose their jobs they also lose their tiny piece of power in the society that was the labor someone else needed. Now that power has concentrated to the frontier model owners, and everyone in the future will depend on them.

And on a personal level, sacrifices people have made to become good at their craft have been made worthless, as any rich PoS can now prompt their way to "good" art and call their end result as good as something made with skill that needed years of training. That I really hate.

loading story #50334646