把威廉奥尼尔的方法拿来用，就OK了，威廉奥尼尔本身就是一个牛逼的数学家。不需要用下面的：

The Information的一篇报道，掀开了这家初创公司的神秘一角。报道称洪乐潼的AI初创公司名为Axiom，意为公理，是构建数学理论的出发点。

Axiom将专注于数学领域，通过学习严格的逻辑推理和数学证明的过程，AI能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。目标客户之一是对冲基金和量化交易公司，可快速解决投资、股市等金融领域的复杂数学问题。