Hacker News
Egoless Mathematics in the AI Era
bhouston
|next
[-]
I do not think I have such a well-developed concept of myself in relationship to my field as he does, I just found it hard to maintain and its value wasn't sufficient to invest that effort. I think the difference is likely that I am a "pragmatic engineering" type who does "the next right thing" and I do not need an overly complex over-arching concept of myself in relation to my craft.
layer8
|root
|parent
|next
[-]
HedonicEscal8r
|root
|parent
|next
|previous
[-]
12212755
|root
|parent
|previous
[-]
Tao has been pushing for AI and Lean for a long time and didn't like the way OpenAI handled the Oct. 6th release. He has now been pushing for AI owned by universities.
That is the public way he navigates the situation, who knows what his real game is.
He is one of the people that brought about this situation.
In any case: "reactionary"? Are we using Soviet language to single out perceived dissidents?
bhouston
|root
|parent
|next
[-]
I've been reading the posts on his blog (and I should be clear, many posts are guest posts, so it is a collective cognitive behavior therapy session):
Also did you notice he never posted more than 10 posts per month until September? These are definitely posts trying to come to terms with the new reality and searching for value in a field where humans are not pre-eminent:
https://terrytao.wordpress.com/2026/09/26/a-value-based-appr...
https://terrytao.wordpress.com/2026/09/19/why-do-we-need-hum...
https://terrytao.wordpress.com/2026/09/12/after-math/
I also see this post that that mathematics will be needed as interpreters of complex AI generated proofs as a form of denial in that this is just a current limitation of AI, and will likely be fixed soon:
https://terrytao.wordpress.com/2026/09/18/if-math-is-more-th...
ComplexSystems
|root
|parent
|previous
[-]
qw123a
|root
|parent
[-]
All of which was provided and encouraged by a small group like Tao, Gowers, Tsimerman, Avigad, Schmitt etc. It isn't just "an algorithm".
kzz102
|next
|previous
[-]
abstractbill
|next
|previous
[-]
I finished a math PhD before I decided to get out of academia and into startups. Since then, the older I get the more of a Platonist I become, especially now that I've taught my daughters a bunch of math (I'm their homeschool math+science teacher). And the more of a Platonist I become, the less I care about who made a particular discovery. Who cares?! It seems obvious (and quite beautiful) to me now that the same discoveries must be getting repeated again and again across the universe by alien mathematicians, and eventually by their AIs.
bobajeff
|next
|previous
[-]
j2kun
|next
|previous
[-]
Yikes. I fear for what mathematics will become if that becomes the majority viewpoint.
12312777
|root
|parent
[-]
https://proofsandprompts.com/2026/10/31/lean-me-softly-a-sat...
That is literally what some tenured people are pushing for.
Waterluvian
|next
|previous
[-]
Now I think I kind of have an answer. Maybe the level of diagnostic refers to the LLM effort level. Great. So then what are all the people on the Enterprise actually doing? My guess is they're all just being people and doing people stuff like exploring the galaxy and smugfacing the Romulans. It would be easier to just create a race of Datas to do it safer. The Datas could probably be Bluetoothed to the Ship's Computer for even more optimization.
I think some of the struggle is that as we summit each subsequent hill of challenge, the sunset (or is it a sunrise?) is becoming inescapably bright. We're faced with that big ol' "what's the point of all this?" question. What's the point of studying math? What's the point of exploring the galaxy? What's the point of standing under a stack of blue barrels?
I'm not a math guy. I dunno if a Fields medal comes with free Taco Bell for life or something else that would truly move me. But I love that I get to read books and learn cool things and feel that spark of joy when my understanding expands, even if the ending is right there with nothing stopping me from skipping to it.
sam_lowry_
|next
|previous
[-]
cubefox
|root
|parent
[-]
lmf4lol
|root
|parent
[-]
anarticle
|next
|previous
[-]
I want to believe, but research has been tightrope walking with no safety net for awhile.
So, either researchers get SF salaries? or? (first one is not gonna happen)
delusional
|next
|previous
[-]
Holy. This is the closest thing I've seen one of these AI guys get to accepting it as the machine god. "Dear god, we gratefully accept this divine gift of sustenance that we are about to consume."
That might be a good time to consider what the fuck is going on.
jraph
|root
|parent
[-]
Marketing for OpenAI. When it comes from one of the best-known mathematicians, it must be quite efficient.
btw,
> This blog post was initially written in a different file format and converted using AI.
Why even mention this? And you don't really need an LLM to convert between file formats, there are dedicated tools that work well for this. Especially for a text that's essentially unformatted, a copy paste and a few searches & replaces will probably be faster.
Acknowledgement: a few fingers were used to type this comment. Possibly a couple of organic neurons. No AI whatsoever, except maybe in cited text.
23w11h
|next
|previous
[-]
Jtarii
|previous
[-]
Isn't it strange how the AI disclaimer is at the end of the writing instead of the start. Almost as if they are trying to hide it.