更关键的是，有了 AlphaProof Nexus，AI 就从”写出数学证明”的学生成功进阶到”自动搜索并验证数学证明”的工程师 … AI 不仅在没有提示的情况下生成了完整证明，还能正确找出函数系数的一般公式，且公式用到的数学概念超过了问题本身的数学水平 … 他看不见 AI 能力的上界在哪儿，故而对未来感到焦虑：因为，如果一个数学工作者将计算步骤和简单证明统统塞给 AI 处理，则很难产生洞察力，无法做出大的发现，因为大发现往往是从小例子开始的。
更关键的是，有了 AlphaProof Nexus，AI 就从”写出数学证明”的学生成功进阶到”自动搜索并验证数学证明”的工程师 … AI 不仅在没有提示的情况下生成了完整证明，还能正确找出函数系数的一般公式，且公式用到的数学概念超过了问题本身的数学水平 … 他看不见 AI 能力的上界在哪儿，故而对未来感到焦虑：因为，如果一个数学工作者将计算步骤和简单证明统统塞给 AI 处理，则很难产生洞察力，无法做出大的发现，因为大发现往往是从小例子开始的。