Source item

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. However, after math and physics, there is still a next scientific frontier: chemistry, and especially biology and medicine. I mean, it was already the frontier, but it’s the next one too. AI can crush deterministic math problems on the computer, but biomedicine is a highly empirical, noisy, multivariate, and yet often predictable domain. Thus, AI radically increases our ambitions in biomedicine. All the omics data, all the messy literature, it can all be synthesized and analyzed in a flash. This is what the labs mean when they talk about curing all diseases. The tooling is available to take cracks at biomedical problems previously thought impossible. Midjourney is doing this, Chan Zuckerberg is doing this, Anthropic is doing this, but there will be so much more. One interesting irony is that computer science at Stanford started as a subdivision of the math department. Now computer science has gotten so large that it’s acquiring math as a subdivision. Similar to the military funding the Internet via DARPA, and now the Internet (via drones, robots, satellites, and the like) turning the military into a division of the Internet. All part of the network taking over functions from the state that gave it birth. https://t.co/gyKDaMd3dg