
Mike severino
803 posts

Mike severino
@mikesev19
I like mathematics, especially combinatorics, music, and surfing the mountains and the sea.





I have been thinking about this post for days. During pauses, when things slow down during the day, this is the emotion I’m left with. Things are going to change. We will (I hope) get to other side with something better. But we will also lose many things, and it’s okay to grieve for them.


📁 Terence Tao, Fields Medal winner, says AI can already generate many mathematical proofs. The real bottleneck is verification. Creating ideas is becoming cheap. Knowing which ones are truly correct is still human work.



Still more evidence that EdTech harmed American education: Across states, the year that the state imposed mandates requiring computers/tablets, that's the year that test scores stopped rising and in most cases started falling. From Jared Cooney Horvath thedigitaldelusion.substack.com/p/when-correla…


AI cannot in principle make novel discoveries.











It's surprising and worrying that the University of Nebraska is shutting down its department of statistics Usually we think of this happening to marginal departments, but one would think that a good state university should have statistics? 1/



The UCSD math department administered a test to 138 students in a remedial math class, and 25% of them got this question wrong:




Tesla is proposing a deal that could give Elon Musk $2 trillion in wealth, more than the bottom 59% of Americans combined. Does anybody in America think this is sane?


Maybe Charlie Kirk shouldn’t have spent years being a hateful demagogic fascist and this wouldn’t have happened. Maybe he should take some personal responsibility.



Not at all surprising. The “content” side of education will rapidly be replaced by tech. Mentoring and Socratic education will remain human, but traditional lectures are terrible ways to transmit content. And elite universities are no better than anyone else at this.


last week and this week's scratchpaper


This is an unwise statement that can only make people confused about what LLMs can or cannot do. Let me tell you something: Math is NOT about solving this kind of ad hoc optimization problems. Yeah, by scraping available data and then clustering it, LLMs can sometimes solve some very minor math problems. It's an achievement, and I applaud you for that. But let's be honest: this is NOT the REAL Math. Not by 10,000 miles. REAL Math is about concepts and ideas - things like "schemes" introduced by the great Alexander Grothendieck, who revolutionized algebraic geometry; the Atiyah-Singer Index Theorem; or the Langlands Program, tying together Number Theory, Analysis, Geometry, and Quantum Physics. That's the REAL Math. Can LLMs do that? Of course not. So, please, STOP confusing people - especially, given the atrocious state of our math education. LLMs give us great tools, which I appreciate very much. Useful stuff! Go ahead and use them AS TOOLS (just as we use calculators to crunch numbers or cameras to render portraits and landscapes), an enhancement of human abilities, and STOP pretending that LLMs are somehow capable of replicating everything that human beings can do. In this one area, mathematics, LLMs are no match to human mathematicians. Period. Not to mention many other areas. Calling on my friend @EricRWeinstein and @GaryMarcus, who has been one of the few sane expert voices on these matters lately. 🙏 h/t @hellheff
