Tag
The Leiden Declaration on Artificial Intelligence and Mathematics calls for action to address challenges and opportunities of AI in mathematics research, emphasizing ethical values and responsibilities. It is endorsed by the International Mathematical Union.
Mathematician Terence Tao believes AI is reducing cognitive friction in mathematical research, enabling experimentation and bold ideas, and is expected to become a mainstream tool. He also predicts that future mathematical publications will share exploration paths rather than just final results.