在可计算性的极限上：自主 AI 发现向忙碌海狸前沿迈进
这篇 arXiv 论文（2610.22603）把自主 AI 发现推向忙碌海狸前沿——即关于计算的可证明性在数学上的极限。作为一项登月式探索的坐标，它在检验 AI 能否在最硬核的形式化领域做出真正的发现，而不仅仅是内插训练数据。
报道来源
- Rohan Paul2026-10-22 11:34
这篇 arXiv 论文（2610.22603）把自主 AI 发现推向忙碌海狸前沿——即关于计算的可证明性在数学上的极限。作为一项登月式探索的坐标，它在检验 AI 能否在最硬核的形式化领域做出真正的发现，而不仅仅是内插训练数据。