Rohan Paul· @rohanpaul_ai · X·· 2 小时前AI 评分41
AI 导读
在 AI 数学中，瓶颈已从寻找证明转向检查证明。形式化验证和专家评审如今成了稀缺输入。
正文
In AI math, the bottleneck has moved from finding proofs to checking them. Formal verification and expert review are now the scarce inputs.
来源：Rohan Paul · x.com