陶哲轩12年前预言成真，AI正实现数学研究自动化

著名数学家陶哲轩在12年前曾预言，人工智能将在未来深度参与数学研究。如今，随着AI技术的飞速发展，这一愿景正在变为现实。近期，陶哲轩多次公开分享AI工具在数学证明、猜想验证等领域的应用案例，展现出对AI辅助研究的积极态度。作为菲尔兹奖得主，他的认可进一步推动了AI在学术研究中的应用探索。目前，已有多个研究团队尝试将大型语言模型与形式化证明工具结合，协助数学家完成繁琐的推导步骤，提升研究效率。这一趋势标志着人工智能正从工具向合作伙伴转变，有望开启数学研究的新范式。