这一步的意义可能比看起来更大：以前形式化验证贵在人工写证明，现在 Claude 能批量给 123 个真实库生成证明，等于把「数学上不崩溃」从奢侈品变成了能写… · @yueke · TwKit

@yueke

这一步的意义可能比看起来更大：以前形式化验证贵在人工写证明，现在 Claude 能批量给 123 个真实库生成证明，等于把「数学上不崩溃」从奢侈品变成了能写进 CI 的常规流程。软件可靠性从此多了条新基线

曝光 8 · 评论 0 · 点赞 0 · 书签 0