Cigole Thomas

人工智能在高等数学领域取得进展，引发了辩论和新的研究方向

生成式AI在执行高等数学任务方面的能力日益增强，引发了关于其对该领域影响的讨论。一项关于基于证明的数学课程的试点研究发现，学生使用了AI工具，但对其有用性和准确性的看法不一。此外，AI模型在黎曼猜想等长期存在的数学问题上取得了进展，Anthropic的Claude通过提高临界线上零点的下界展示了显著的进步。这一发展引发了对数学研究未来以及人类数学家角色的疑问。