News for hackers. Stuff that matters.
Re:Egoless Mathematics in the AI Era by GMoromisato on Monday November 02, 2026 @06:49PM (#50345943)
The lens to use is the Venn diagram of:

   1. What you like doing
   2. What you are good at doing
   3. What people will pay you to do
For math, if your goal is to prove something that no one else has proven, then all three are under attack.

I think the "egoless" path is taking a 50,000-foot view of mathematics that ignores the above lens. Sure, mathematics will survive and even prosper with AI, but what about the mathematicians?

In time, the profession of mathematics will evolve so a new task is at the center of the diagram--maybe it will be explaining math results to humans or teaching math to future mathematicians. I don't know. But it's easy to see that not everyone is going to be happy with the transition, and many will be left behind.

For software engineering, it depends on what your center is. If you like "writing code", then #3 is under attack. But for those whose goal is, "make something work", all three are still viable and even better than before (or at least faster).

That's why we see so much disagreement on HN about whether AI is good or bad for software engineering.

I'm sure lots of other people have made this observation before.

Re:Egoless Mathematics in the AI Era by ironworks on Monday November 02, 2026 @07:05PM (#50346114)
I got the same advice from my grandfather when I was considering fields of study prior to university. Interestingly, the western version of this advice seems to have dropped the "what the world NEEDS" [0] part of this Venn diagram. This comes from the Japanese concept of Ikigai, which includes the three items above and what would benefit others/fulfills some larger mission.

https://en.wikipedia.org/wiki/Ikigai#Diagram

Re:Egoless Mathematics in the AI Era by GMoromisato on Monday November 02, 2026 @08:04PM (#50346632)
Fair point.

But I've seldom been in a situation where multiple jobs fit the three circles equally and I need to use a fourth circle ("What the world needs") to decide.

I also think a core tenet of Western culture is that the power to choose your own path (individualism) comes with the responsibility to benefit others (service). E.g., selling cigarettes to kids doesn't fit in the center of the three circles because one shouldn't enjoy that, even if one is good at it and can get paid for it.

Instead of asking, "What does society want me to do," we ask, "How can I make the world better."

Re:Egoless Mathematics in the AI Era by tarsierscripter on Monday November 02, 2026 @10:14PM (#50347573)
Sure, mathematics will survive and even prosper with AI, but what about the mathematicians

It's not a given that mathematics will survive without mathematicians. It's not even likely. The proofs OpenAI threw over the wall are unpublishable garbage, top to bottom. A big reason mathematicians are so upset is that they feel like they've been drafted into the role of unpaid editor for OpenAI.

Make no mistake about it, the mathematical profession is under attack. The biggest incentive for becoming a mathematician (as opposed to a hired gun quant) is the challenge of solving the proofs. Take that away and the most talented problem solvers go with it.

In time, the profession of mathematics will evolve so a new task is at the center of the diagram--maybe it will be explaining math results to humans or teaching math to future mathematicians.

That is the centre of mathematics. It's what schools pay mathematicians to do. All the research stuff, the problem solving, the "thrill of the hunt" for elusive proofs, and the prestige of being the first? That's the carrot the schools dangle in front of mathematicians' noses to get them to work. Without that, you don't get exceptional mathematicians teaching classes and supervising grad students (and attracting the world's top students to your school); you get adjuncts and only adjuncts.

Re:Egoless Mathematics in the AI Era by nradov on Tuesday November 03, 2026 @01:02AM (#50348608)
If those OpenAI proofs are unpublishable garbage then our concept of publishing has to change. Pure math will probably shift from journals publishing PDFs to individuals (or their agents) posting Lean code in Git repos.
Re:Egoless Mathematics in the AI Era by tarsierscripter on Tuesday November 03, 2026 @07:13AM (#50351031)
That’s of no use to anyone. Haven’t you been following this story? The value of a pure math proof is the understanding it brings and the additional questions raised along the way. Its truth value is of minor consequence.
Re:Egoless Mathematics in the AI Era by nradov on Tuesday November 03, 2026 @09:24AM (#50352366)
I've been following the story. Git repos of Lean code are a good start to developing understanding. First verify that the proof is correct, then work on ways to simplify it and make it understandable.
Re:Egoless Mathematics in the AI Era by soniczentropy on Tuesday November 03, 2026 @08:29AM (#50351738)
If Astra manages to genocide journal publishing I'd instantly consider it the crowning achievement of tech
Re:Egoless Mathematics in the AI Era by busssard on Tuesday November 03, 2026 @09:32AM (#50352465)
Many journals already have a no AI policy no?
Re:Egoless Mathematics in the AI Era by cjcole on Tuesday November 03, 2026 @02:26AM (#50349098)
I've seen two mathematicians (Dana Moshkovitz and one I can't track down involved in ETH) state that the proofs were greek to them as written but that other models understood the papers just fine and could break it down and explain it to them.

Example: "Basically the paper is so horribly written that it’s impossible to read it without AI help. I asked Astra for reasonable completeness and soundness claims of the noise gadget and it gave them by combining claims from all over the paper."

Without AI help? Impossible. With AI help? Comprehensible.

That is consistent with the assertion that mathematics might outlast human mathematicians.

(Feels related to models evolving forms of human-incomprehensible shorthand when communicating among themselves.)

Re:Egoless Mathematics in the AI Era by lioeters on Tuesday November 03, 2026 @04:07AM (#50349716)
This is similar to some of the software being produced these days, where it's impossible to understand or develop the codebase further without AI. The complexity is beyond what even an above average individual human brain can comprehend.

Without making a value judgement of whether that's good or bad for the field in the long term, it is an interesting point to note the similarity with the human-incomprehensible communication among AI agents. When there are no humans in the loop, it's no longer necessary to translate or "lower" the representation for our benefit. Since it's still early days, we can only imagine and extrapolate how far it might go in that direction, what might evolve out of it in the future.

Re:Egoless Mathematics in the AI Era by tarsierscripter on Tuesday November 03, 2026 @07:27AM (#50351179)
Dana Moshkovitz is a computer scientist, not a pure mathematician. The work she does may have practical applications even if the proofs may be incomprehensible, just as incomprehensible software can still be useful.

Incomprehensible pure mathematics has no value to anyone.