“Vlad Tenev predicts that AI models will be able to produce 100,000-page mathematical proofs within three years, enabling solutions to some of the deepest problems in mathematics and physics.”