AI如何重塑数学和物理的发现模式

人工智能并未取代数学和理论物理学中的人类创造力，而是增强了它。AI能够辅助证明检查、反例搜索和步骤建议，并在数学推理领域取得显著进展。本文探讨了AI在议程设定、思想形式化和猜想提出中的作用，并邀请研究人员积极采用AI工具。