这是一种LLM在进行数学运算，而不是特定的形式数学系统。这是我们朝着通用智能的主要推动之一。

此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见声明。