ai的世界未来是哲学家的

菲尔兹奖得主陶哲轩（Terence Tao）反思人工智能如何开始重塑这个历史上极为保守的数学领域。虽然数学长期以来依赖数百年的传统方法——例如黑板和独立解题——但如今正进入一个转型的时代。 主要要点： • 协作文化的转变：与其他科学领域已广泛采用大规模合作不同，数学因进入门槛高以及必须达到100%证明准确性的要求，一直落后于时代。陶哲轩解释，新技术终于让大规模、众包式的研究成为可能。 • 形式验证的作用：促成这一变革的关键要素是形式验证（例如使用Lean语言），它能让计算机自动检查数学论证。这打破了“信任障碍”，让不受信任或匿名的贡献也能参与其中。 • 等式理论项目（The Equational Theories Project）：陶哲轩重点介绍了他最近的项目，在这个项目中，50多位合作者通过模块化任务、GitHub和形式验证，在短短三个月内解决了2200万个代数问题。 • AI是助手而非替代者：陶哲轩分享了他与Google DeepMind合作使用大型语言模型（LLM）的经验。他强调，AI目前最适合处理例行性任务，例如文献回顾或代码编写，以及应对“长尾”的中等难度问题——这些问题数量庞大，人类专家无法独自处理 • 未来展望：AI不应取代数学家，而是应该用来扩大研究范围，让更多目标在经济上可行，并开启新的、机器辅助的发现方式