位于加利福尼亚州帕洛阿尔托的初创公司Axiom Math推出了一款创新的AI工具，旨在改变数学家解决问题的方式。这款名为Axplorer的免费资源旨在识别可能导致未解决问题突破的数学模式。该工具是对PatternBoost的升级版，此工具由现任Axiom研究科学家François Charton于2024年共同开发。通过利用人工智能的强大能力，Axiom Math希望为数学家提供新的见解，并促进解决复杂数学挑战的协作环境。