Terence Tao: AI will create a 'division of labor' in mathematics 📐
Renowned mathematician Terence Tao believes that AI will lead to a division of labor for the first time in the history of mathematics, where humans focus on conceptual ideas and AI handles formal proofs.
Sources the-decoder.com