付费专享
验证器瓶颈
The Verifier Bottleneck
导读
OpenAI 最近取得的数学成果让我想到两个问题。在《After the Proof》中，我讨论了第一个：既然机器显然已经能够产出前沿数学成果，那么真正有意思的问题便不再是机器能否做到，而是一次成功搜索之后，究竟有什么能够留存下来。今天的证明会变成明天的直觉吗？
CONTINUE WITH MOSS GARDEN
把好问题，研究到底。
本篇为付费订阅文章。
付费订阅开通后，可阅读全文并通过 Agent 读取。
The Verifier Bottleneck
OpenAI 最近取得的数学成果让我想到两个问题。在《After the Proof》中，我讨论了第一个：既然机器显然已经能够产出前沿数学成果，那么真正有意思的问题便不再是机器能否做到，而是一次成功搜索之后，究竟有什么能够留存下来。今天的证明会变成明天的直觉吗？
CONTINUE WITH MOSS GARDEN
本篇为付费订阅文章。
付费订阅开通后，可阅读全文并通过 Agent 读取。