All topicsTOPIC / FRONTIER COVERAGEAI in mathematicsTYPETopicSIGNALS3FIRST SEENSep 11, 2026LAST SEENNov 2, 2026Recent signalsA profile of UCLA professor Terence Tao, who was once enthusiastic about AI's role in math but now warns of AI destroying the field's deliberative process (Rivka Galchen/New Yorker) Nov 2, 2026As AI automates parts of pure mathematics research, a look at formalization challenges and why human imagination remains key to deciding which questions to ask (Stephen Wolfram/Stephen Wolfram Writings) Oct 4, 2026A group of 25 Fields Medal recipients says AI companies' push to solve mathematical problems as a benchmark is detrimental to the science of mathematics (Terence Tao/What's new) Sep 11, 2026RELATEDThe New YorkerALL TOPICSLATEST SIGNAL