AI数学工具 (共1篇)

初创公司Axplorer AI工具重塑数学家发现模式

加州帕洛阿尔托初创企业Axiom Math推出免费AI工具Axplorer，专为数学家设计，帮助发现数学模式，可能解锁长期难题。该工具基于2024年François Charton共同开发的PatternBoost重构而成，标志着AI深度介入纯数学研究的新时代。通过自动化探索复杂模式，Axplorer有望加速数学突破，推动从理论到应用的转化。