Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, and to respond appropriately to the challenges and opportunities we now face.

翻译：近期研究表明，人工智能能够以形式化和非形式化两种方式证明数学研究级定理。本文敦促数学界同仁及时跟进该技术发展，思考其对数学实践可能产生的颠覆性影响，并对当前面临的挑战与机遇作出恰当回应。