托阿关键词检索结果

这家初创公司希望改变数学家做数学的方式

This startup wants to change how mathematicians do math

Axiom Math 是一家位于加利福尼亚州帕洛阿尔托的初创公司,它为数学家发布了一款免费的新人工智能工具,旨在发现数学模式,从而解决长期存在的问题。该工具名为 Axplorer,是对现有工具 PatternBoost 的重新设计,该工具由现任 Axiom 研究科学家的 François Charton 于 2024 年共同开发……