
One interesting irony is that computer science at Stanford started as a subdivision of the math department.
Yes, AI is rapidly advancing mathematics (and theoretical physics problems that are essentially mathematical). Like Ramanujan’s notebooks, human mathematicians will spend months (years?) poring over the stream of papers that AI effortlessly generates, hoping to verify and understand them, probably until math itself (via Lean) becomes a branch of computer science like almost everything else.
Mamdani is far less ideological than the typical woke. He’s an accomplished actor (literally) who can emote on demand and then return to sobriety once the cameras stop rolling.
Mamdani is interesting. Shows a kind of Deng potential. To be clear, he’ll use leftism to tax and harass his tribal enemies till they leave town. The Curley Effect.
https://assets.ns.com/improvement-projects/0070db29-938f-46ff-8f9b-1da82c7deeda/ffaaf6ae45e741ab951cad75ecd0bd8a/Batam-Drawing-Updated-2.pdf
https://assets.ns.com/improvement-projects/9dbd5649-44ff-4db1-9710-f06794f5b62b/f1cee4378bcc43d58fbecb573e77820e/Batam-Drawing-Updated-2.pdf
