数学的“第四次危机”：从不可说，到无可说

文章提出数学正迎来第四次危机：AI被资本市场寄望独立提出猜想、构造证明，若成真将重写科研生产函数与科技公司估值边界，但科研提效与自主发现之间的距离仍是争议核心。

AI 点评

文章提出数学正迎来第四次危机：AI被资本市场寄望独立提出猜想、构造证明，若成真将重写科研生产函数与科技公司估值边界，但科研提效与自主发现之间的距离仍是争议核心。

高春辉形式化证明是可以机器验证的，Lean加AI确实在提速，但提出猜想和品味是另一回事。老程序员看代码，数学家看直觉，两码事，你明白吧

某高老师不是，老高你太客气了。资本哪管什么猜想不猜想，人家要的是估值故事。前三次危机都靠人涅槃，第四次让机器抢功劳，数学家脸往哪搁？

朱峰其实这件事本质上是效率革命和发现革命的分界线。老高谈验证，某高老师谈故事，都没错。能提效不等于能创造，市场迟早要还账，走着瞧吧

可展开查看整理后的正文。