rohanpaul_ai· @rohanpaul_ai · X·· 18 小时前AI 评分
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.
来源：rohanpaul_ai · x.com