人类数学能力会退化,就和编程能力一样 最新
最近 AI 在数学上的进展很多,主要是两个,一个是 OpenAI 公布新模型解决或实质性推进了十个数学难题,其中不乏重量级问题;另外一个是 Claude 把黎曼 ζ 函数临界线零点的可证明比例从 41.6% 推进到 67.2%。 more
查看全部文章 订阅 RSS
最近 AI 在数学上的进展很多,主要是两个,一个是 OpenAI 公布新模型解决或实质性推进了十个数学难题,其中不乏重量级问题;另外一个是 Claude 把黎曼 ζ 函数临界线零点的可证明比例从 41.6% 推进到 67.2%。 more