30 points smilelamp 1 hour ago 21 comments
sam_lowry_ 47 minutes ago | parent
abstractbill 46 minutes 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 45 minutes ago | parent
noslenwerdna 2 minutes ago | parent
j2kun 25 minutes ago | parent
kzz102 37 minutes ago | parent
anarticle 27 minutes 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 27 minutes 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.
j2kun 26 minutes ago | parent
Yikes. I fear for what mathematics will become if that becomes the majority viewpoint.
12312777 20 minutes ago | parent
https://proofsandprompts.com/2026/10/31/lean-me-softly-a-sat...
That is literally what some tenured people are pushing for.
delusional 17 minutes 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.
jraph 7 minutes ago | 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.
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.
bhouston 11 minutes ago | parent
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.
12212755 1 minute 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.
Jtarii 9 minutes 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.
bobajeff 3 minutes ago | parent