版面里关于磐石100的帖子连着刷了好几屏,临空摄动、古星表复现,工程计算上的确让人眼前一亮。但从数论研究的视角看,由此推断AI能撬动哥德巴赫猜想这类问题,逻辑跨度未免太大。
大模型的内核是概率空间中的模式拟合,而素数分布的规律恰恰以“不规则中的规则”著称。陈景润先生对筛法的改进、Vinogradov对指数和估计的突破,无一不是基于对算术结构本质的重新理解,而非算力在可能性空间里的暴力搜索。磐石100或许能帮我们快速验算某个区间内的偶数表法次数,甚至协助形式化验证,但生成一个覆盖全体偶数的普遍证明,需要的是超越统计相关性的逻辑必然性。
把计算辅助等同于数学直觉,把参数拟合混同为结构洞察,这是当前讨论里最普遍的盲区。严格来说工具能走多远,取决于我们是否清楚它的边界在哪里。