详细内容或原文请订阅后点击阅览
这家初创公司希望改变数学家做数学的方式
Axiom Math 是一家位于加利福尼亚州帕洛阿尔托的初创公司，它为数学家发布了一款免费的新人工智能工具，旨在发现数学模式，从而解决长期存在的问题。该工具名为 Axplorer，是对现有工具 PatternBoost 的重新设计，该工具由现任 Axiom 研究科学家的 François Charton 于 2024 年共同开发……
来源:MIT Technology Review _人工智能悉尼大学数学家 Geordie Williamson 曾与 Charton 一起研究 PatternBoost，但尚未尝试过 Axplorer。但他很好奇数学家会用它做什么。 （威廉姆森仍然偶尔与查顿合作开展学术项目，但表示他与 Axiom Math 没有其他联系。）
Williamson 表示 Axiom Math 对 PatternBoost 进行了多项改进，（理论上）使 Axplorer 适用于更广泛的数学问题。 “这些改进的意义有多大还有待观察，”他说。
“我们目前正处于一个奇怪的时期，许多公司都有他们希望我们使用的工具，”威廉姆森补充道。 “我想说，数学家们对这种可能性有些不知所措。我不清楚拥有另一个这样的工具会产生什么影响。”
Hong 承认，目前有很多人工智能工具正在向数学家推销。有些还要求数学家训练自己的神经网络。本身就是一名数学家的洪说，这是一个令人厌烦的事情。相反，Axplorer 会引导你一步步完成你想做的事情，她说。
Axplorer 的代码是开源的，可通过 GitHub 获取。 Hong 希望学生和研究人员能够使用该工具为他们正在研究的问题生成示例解决方案和反例，从而加快数学发现。
Williamson 对新工具表示欢迎，并表示他经常使用法学硕士。但他认为数学家还不应该扔掉白板。 “在我看来，PatternBoost 是一个可爱的想法，但它肯定不是万能药，”他说。 “我希望我们不要忘记更多务实的方法。”