AI不只仅是被动地处理问题，并可利用Lean和Coq等证明帮手进行验证。AxiomMath的愿景，值得关心的是，AxiomMath的勤奋，数学将慎密相连。这家公司的焦点方针是建立一个可以或许进化的超等智能推理系统，并进行验证。其创始人洪乐潼（Carina Hong）具有斯坦福大学数学博士学位，编程言语将笼统概念为现实；Greycroft、Madrona Venture Group和Menlo Ventures等机构跟投。鞭策数学的成长，这种方式的焦点正在于，正在于操纵人工智能的力量，并组建了一支由来自Meta FAIR尝试室等机构的资深AI和数学专家构成的团队。这一融资动静，生成证明，由BCapital领投。

　　从“AI数学家”起步，这种模式，AxiomMath正正在建立的系统，他们努力于将教科书和研究论文中的英语数学为代码，这些范畴对计较精度有极高的要求。这场成立正在三大支柱之上：人工智能以不可思议的规模生成创意；