这应该是这个月最重要的AI进展的新闻!Anthropic上市得好好关注一波!但AI在数学领域最先有重大进展是非常自然的,因为数学是纯粹的形式逻辑,本质上也是一种语言,所以天然适合语言模型。但要注意,AI从原理上是没有逻辑推理的,它是靠见得多,通过归纳的方式把推理过程用形式语言堆出来。而大语言模型要通过纯粹的reasoning在涉及到强实验领域,在没有实验数据的输入下,获得重大的突破,还是相当困难。

Anthropic让一个未发布的研究版Claude尝试攻克黎曼猜想,虽未完全解决,但在相关问题提升了黎曼zeta函数满足猜想零点比例的下界。这是大模型在纯数学推理上罕见的实质性进展,也为Anthropic的技术叙事增添了新筹码。








