Mathematician Terence Tao proposes that artificial intelligence could revolutionize the field of mathematics by introducing a form of division of labor for the first time in history. Traditionally, mathematicians have handled all aspects of research independently, from framing problems to verifying results. Tao explains that unlike in industry or the natural sciences, specialization has never been a viable option in mathematics. However, he argues that AI and formal verification tools could change this dynamic by addressing skill gaps in collaborative efforts. According to Tao, AI could support mathematicians by generating strategies, while humans would focus on verifying results and writing up findings. Yet, he warns that if AI generates strategies without proper verification, it could lead to an influx of untested ideas. Tao emphasizes that a new style of mathematical research only emerges when automation advances across multiple areas simultaneously. He highlights the importance of human oversight, as AI performance remains inconsistent. The level of automation and AI power that can be effectively applied before it becomes unreliable is closely tied to the rigor of verification processes. Tao sees this model as a potential blueprint for other fields as well. *Source: [thedecoder](https://the-decoder.com/terence-tao-argues-ai-could-bring-division-of-labor-to-math-for-the-first-time-in-history/)*