总部位于帕洛阿尔托的初创公司 Axiom Math 推出了一款名为 Axplorer 的免费 AI 工具，旨在帮助数学家发现可能解决长期数学难题的模式。该工具是基于研究员 François Charton 此前开发的 PatternBoost 重新设计而成的。
Axiom Math 发布了名为 Axplorer 的免费 AI 工具，专门用于辅助数学家识别和探索复杂的数学模式。
该工具通过 AI 的模式识别能力，有望为解决困扰数学界已久的难题提供新线索，改变传统数学研究的范式。
Axplorer 是对 2024 年由 François Charton 共同开发的 PatternBoost 工具的升级与重构，Charton 目前在 Axiom Math 担任研究科学家。