📄 中文摘要
Axiom Math是一家位于加利福尼亚州帕洛阿尔托的初创公司，推出了一款免费的新AI工具，旨在帮助数学家发现可能解锁长期存在问题的数学模式。该工具名为Axplorer，是对现有工具PatternBoost的重新设计，后者由现任Axiom研究科学家François Charton于2024年共同开发。Axplorer的推出标志着数学研究领域的一次重要技术革新，可能为解决复杂数学问题提供新的思路和方法。
这家初创公司希望改变数学家的数学方式
出处: This startup wants to change how mathematicians do math
发布: 2026年3月25日
📄 English Summary
This startup wants to change how mathematicians do math
Axiom Math, a startup based in Palo Alto, California, has launched a free new AI tool for mathematicians aimed at discovering mathematical patterns that could lead to solutions for long-standing problems. The tool, named Axplorer, is a redesign of an existing tool called PatternBoost, which was co-developed by François Charton, now a research scientist at Axiom, in 2024. The introduction of Axplorer signifies a significant technological advancement in the field of mathematical research, potentially offering new insights and methodologies for tackling complex mathematical challenges.