Terence Tao Predicts Rise Of Mass-Produced Mathematics At Scale

“I do see more and more mass-produced mathematics at scale." ~ Terry Tao AI makes this scalable. Will turns proof-writing into search problem: it generates 1000s of mini-lemmas from a goal, then cheap checkers kill most and keep the few that works