海外 初创公司Axplorer AI工具重塑数学家发现模式 加州帕洛阿尔托初创企业Axiom Math推出免费AI工具Axplorer，专为数学家设计，帮助发现数学模式，可能解锁长期难题。该工具基于2024年François Charton共同开发的PatternBoost重构而成，标志着AI深度介 AI数学工具 Axiom Math Axplorer 数学发现 2026年3月27日 280
