陶哲轩谈AI与科学融合：打造可验证的科研工具

数学家陶哲轩与Chuck NG共同发起SAIR Foundation，旨在推动AI与科学的深度融合。他们强调AI在科研中的关键问题包括可验证性、可解释性以及跨学科协作。陶哲轩指出，AI在回答问题时缺乏置信度表达，这限制了其在科研中的实用性。SAIR希望构建一个连接学术界与产业界的平台，通过更精准的AI工具和高质量数据，提升科研效率和可靠性。同时，他们认为AI的普及将改变科研模式，使更多年轻人参与其中，但需注意保持独立思考和学习过程。陶哲轩还分享了自己如何将AI融入数学研究，如辅助写作、文献检索和可视化，但核心的深度思考仍依赖传统方法。