Axiom Math是一家位于加利福尼亚州帕洛阿尔托的初创公司，推出了一款免费的新AI工具，旨在帮助数学家发现可能解锁长期存在问题的数学模式。该工具名为Axplorer，是对现有工具PatternBoost的重新设计，后者由现任Axiom研究科学家François Charton于2024年共同开发。Axplorer的推出标志着数学研究领域的一次重要技术革新，可能为解决复杂数学问题提供新的思路和方...