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…