Jacob Stein

SWE by day, dad of 3 kids by night.

[Jacob Stein @Entropy96171139]

@MetalmanTalks @OpenAI Exactly, for the very best it will be augmentation. For the remaining 99% it will be replacement.

[Jacob Stein @Entropy96171139]

@chenna1985 He needs to beef up his academic salary somehow!

[Jacob Stein @Entropy96171139]

@boazbaraktcs Such great advice! In fact all students should stop reading books and just let the chat bots do the thinking. I'm sure they will turn out to become really smart and well rounded people /s

[Jacob Stein @Entropy96171139]

@polynoamial Did the same happen after the Deep Blue March in chess?

[Jacob Stein @Entropy96171139]

This:

[Scott Armstrong @scottnarmstrong]

@miniapeur Depends on your goals. If you think it's fun, sure.

To participate in formalization projects? Some basic lean knowledge helps a bit, but the last thing you need to be is a lean expert. GPT 5.5 can write the actual code.

And don't listen to anyone tell you otherwise.

[Jacob Stein @Entropy96171139]

@srikosuri Well he allegedly died as a virgin, so there's that. 😉

[Jacob Stein @Entropy96171139]

@drjoshcsimmons But but we are all going to live in abundance and have an army of free robots serving us, as promised by the AI land... right? RIGHT???

[Jacob Stein @Entropy96171139]

@JFPuget Many AI tech bros seem to find great enjoyment in scaring normies... For some it may be the best part of their job!

[Jacob Stein @Entropy96171139]

@thegautamkamath It's fully intended.

[Jacob Stein @Entropy96171139]

@boazbaraktcs It's amazing how far detached from reality tenured profs can be... Did it ever occur to you that maybe a slight additional concern of mathematicians will be how to feed their families and pay their mortgage, rather than no longer "discovering mathematical truths"?

[Jacob Stein @Entropy96171139]

@marcusgnt Citation needed! Which areas of math are you referring to?

[Jacob Stein @Entropy96171139]

@itaisher @littmath @chaitinsgoose @OpenAI Exactly. And don't forget that lead scientist Bubeck is constantly assure us that "zero human input was needed" and everything was done completely "autonomous" by their model. It's almost as if they're scared of still having any trace of humans in the loop...

[Jacob Stein @Entropy96171139]

@AcerFur Well the (obvious) goal of OpenAI and every other AI lab is to make human expertise completely irrelevant. @SebastienBubeck keeps telling us how "fully autonomous" and "0 human input" the latest result is. With that I'm mind, this viewpoint makes perfect sense!

[Jacob Stein @Entropy96171139]

@AcerFur Becoming an AI tech bro and joining the force that is making your math colleagues irrelevant (and soon to be unemployed) seems to be working out well for you! 😉

[Jacob Stein @Entropy96171139]

@Someody42 Nothing much to say about their future if they clearly don't have one (as mathematicians)

[Jacob Stein @Entropy96171139]

@LucaAmb Nobody is going to pay you for teaching if the number of math students collapses which it surely will. Anyone not seeing that coming is naive beyond hope

[Jacob Stein @Entropy96171139]

@littmath @pschofie79 You forgot to mention that there also won't be any students! :)

[Jacob Stein @Entropy96171139]

@SebastienBubeck @octonion It's always good to be reminded that the core mission of the AI labs is to *enable* humans to achieve more/better/fascinating things instead of just replacing them...
/s

[Jacob Stein @Entropy96171139]

@davidbessis @wtgowers Well said. It's bizarre that there are several prominent mathematicians who are unwittingly(?) shaping the AI-lab narrative that "math = theorem proving", hence AI has "solved math" and we no longer need human mathematicians.

[Jacob Stein @Entropy96171139]

@LucaAmb It's going to be funny when the AI investors realize that Erdos problems are so important that some of them had already been solved for decades without anyone noticing and the more prominent ones, like the current one, have 0 practical relevance...