HackerNewsAI正在数学领域引发根本性变革IEEE Spectrum报道AI在数学领域的发展正在改变基础研究方式AI辅助定理证明和数学发现引发学术界对研究本质的讨论数学家开始重新思考人类在数学研究中的角色定位13 天前访问原文链接