Terence Tao argues AI could bring division of labor to math for the first time in history

En 3 lignesTerence Tao estime que l'IA pourrait introduire la division du travail en mathématiques pour la première fois. Actuellement, les chercheurs maîtrisent chaque étape seul (formulation, vérification). Tao anticipe une « mathématique industrielle » : équipes IA-supportées au lieu de génies isolés, humains restant essentiels pour les « intuitions inspirées ».

Résumé généré par Claude — vérifié par l'humain