University of Toronto mathematician Daniel Litt says AI's math capabilities are bottlenecked on verification: "My sense is the reason [AI models are] not producing long, complicated proofs is that they cannot. The ability to check correctness is not yet there." "If you ask the models to produce a short proof, you can then ask, 'Is that correct?' And they will often say no... The problem with producing a very long thing is they might not know they're wrong." "What I wonder is, presumably…