位于加利福尼亚州帕洛阿尔托的初创公司Axiom Math推出了一款开创性的AI工具，旨在彻底改变数学家解决复杂问题的方式。这款名为Axplorer的免费工具，旨在识别数学模式，为解决长期存在的挑战提供可能的解决方案。Axplorer的开发是对之前工具PatternBoost的重大改进，该工具由Axiom的研究科学家François Charton于2024年共同创建。通过利用先进的AI技术，Axplorer有望帮助研究人员揭示长期困扰数学界的洞见，可能为各个数学领域的突破铺平道路。