Kurzweil Technologies' John-Clark Levin on why AI is conquering math so much faster than writing: "The great thing about math is that it's really easy to verify. If you have a proof, you can encode it into Lean, which is a checkable language, and then either it verifies or it doesn't." "So it's easy in reinforcement learning for AIs noodling around on these problems to get really clear feedback, did this proof strategy work or not?" "Whereas it's much less clear whether a piece of creative…