An AI will eventually produce mathematical papers of such complexity that only other AIs can fully verify them, with human mathematicians able to follow only the first few pages. The work will be formalized in advanced proof assistants, and AIs will continue generating increasingly inaccessible mathematics building on previous results, potentially solving long-standing conjectures like the Riemann hypothesis with elementary proofs incomprehensible to humans.