59 points smilelamp 2 hours ago 48 comments
sam_lowry_ 2 hours ago | parent
cubefox 1 hour ago | parent
lmf4lol 1 hour ago | parent
soledades 1 hour ago | parent
abstractbill 2 hours ago | parent
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.
rubikscube09 2 hours ago | parent
noslenwerdna 1 hour ago | parent
abstractbill 1 hour ago | parent
rubikscube09 1 hour ago | parent
hmokiguess 1 hour ago | parent
j2kun 2 hours ago | parent
hmokiguess 1 hour ago | parent
kzz102 2 hours ago | parent
10111001 1 hour ago | parent
But it's pretty clear you can chuck "human pursuits" in the garbage, in favor of what really matters: intensification of the market system and wealth accumulation for its own sake.
Thinks your technology leader: Humanity? People? Who the fuck cares about that BS? Fuck 'em (or "I'll fuck 'em and make them like it"). I've got stuff to build and money to make.
> In the pursuit of knowledge, what ultimately drives people is what they themselves can understand, and the meaning these understanding provides, both based on their own experience and people whose opinions they value.
It's pretty clear the message we're getting is "what [people] themselves can understand, and the meaning these understanding provides" doesn't matter, and if you care about that you're an sentimental piece of garbage.
anarticle 2 hours ago | parent
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)
Waterluvian 2 hours ago | parent
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.
10111001 1 hour ago | parent
> Now I think I kind of have an answer. Maybe the level of diagnostic refers to the LLM effort level....
The real answer is that it was gibberish. IIRC, the writers would insert "[tech]" in the scripts, to be later fleshed out into technobabble.
What you say is ret-con at best. A more realistic contemporary interpretation of the "level 3 diagnostic" technobabble, would have been a particular pre-programmed diagnostic procedure (like "run the POST memory checks" on a PC).
j2kun 2 hours ago | parent
Yikes. I fear for what mathematics will become if that becomes the majority viewpoint.
12312777 1 hour ago | parent
https://proofsandprompts.com/2026/10/31/lean-me-softly-a-sat...
That is literally what some tenured people are pushing for.
delusional 1 hour ago | parent
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.
bhouston 1 hour ago | parent
12212755 1 hour ago | parent
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?
ComplexSystems 1 hour ago | parent
qw123a 1 hour ago | 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".
bhouston 1 hour ago | parent
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 like this one that claims that mathematics will be needed as interpreters of complex AI generated proofs - I see this post 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...
> In any case: "reactionary"? Are we using Soviet language to single out perceived dissidents?
When new technology is introduced that is disruptive a lot of people fall into "reactionary" stances.
The first definition of reactionary that I found was this:
"A reactionary is a person or policy that opposes political, social, or economic change and seeks to reverse progress to restore an earlier, idealized state of society."
I think that fits with my usage.
layer8 1 hour ago | parent
HedonicEscal8r 1 hour ago | parent
ActionHank 29 minutes ago | parent
The reaction was from the strip mining of pending human discovery, mathematicians were already using LLMs from frontier labs who then published suspiciously similar solutions or found connections that were just waiting to be discovered.
Jtarii 1 hour ago | parent
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.
jraph 1 hour ago | parent
bobajeff 1 hour ago | parent
dogleash 1 hour ago | parent
I'm thinking maths are kinda fucked rn.
stillpointlab 1 hour ago | parent
This egoless attitude and the call for a broad humility may find itself in conflict with a supremacist humanism. There are people who will only ever want things that originated from a human. I see this attitude mostly in creative fields like art, music, film and games.
I therefore think we need to have different attitudes towards AI adoption depending on the field. In the case of math, some seem to want to excise any human emotion or physical need and create a pure refined space to explore propositional Truth. But extending this to all human activities doesn't seem to follow.
I guess what I'm saying is, there is probably still a place for human ego, even if that place is not math.
WindyTree 1 hour ago | parent
oh_my_goodness 1 hour ago | parent
analog8374 7 minutes ago | parent