Terence

近期，数学家陶哲轩（Terence Tao）关于AI降低认知摩擦的观点引发关注。他在与OpenAI的对话中指出，AI通过自动化繁琐的计算和逻辑验证，将数学研究中的认知摩擦降至接近零，使研究者能更大胆地探索复杂猜想与跨领域问题。这一趋势在数学和科学界引发热议：一方面，AI工具如Copilot、Lean等已开始辅助证明与实验设计；另一方面，也有学者担忧过度依赖AI可能削弱基础推理能力。当前焦点在于如何平衡AI的辅助作用与人类创造力的主导地位，以及开源仓库（如NHS事件）引发的数据共享争议。未来需观察AI在数学证明中的可靠性验证，以及学术界对AI辅助研究的规范建设。