位于加利福尼亚州帕洛阿尔托的初创公司Axiom Math推出了一款名为Axplorer的创新AI工具，旨在改变数学家们的工作方式。该免费资源专门设计用于发现可能为解决长期存在的数学难题提供线索的数学模式。Axplorer是早期工具PatternBoost的进化版，由现任Axiom研究科学家François Charton共同开发。通过这一创新工具，Axiom Math希望赋能数学家，提升他们的研究能力，可能带来数学领域的重大突破。