张益唐谈AI：未解素数难题，却擅长过度赞誉
5月17日，2026搜狐科技年度论坛在北京召开。来自科学界、学术界和产业界的近30位嘉宾围绕基础科学与人工智能议题展开深入探讨。论坛期间，国际著名数学家张益唐发表了题为《从孪生素数到零点猜想：近年基础数学的前沿突破》的主题演讲。据“搜狐科技”微信公众号报道，张益唐首先阐述了孪生素数的核心概念。他指出：“解析数论是一门高度抽象的数学学科，但在实际操作中，它与实验科学颇为相似。研究对象是数字或函数等与算术相关的内容。”谈及AI对孪生素数研究的影响，张益唐表示，目前AI在数论或经典解析数论问题上尚显无力，但其能
AI面对黎曼猜想：它还会在哪些地方绊倒
摘要 黎曼猜想（RH）被普遍视为数学史上最重要的悬而未决难题之一。一个半世纪过去，它依旧让所有证明路线无功而返。随着人工智能逐步走入数学推理：能解竞赛题、能做复杂定理的检验、甚至能生成新的猜想——一个顺理成章的追问出现了：AI有没有可能证明黎曼猜想？若有，又需要满足哪些前提？要回答它，我们不得不正视当下AI的短板、数学发现究竟依赖什么、形式化验证在其中扮演的作用，以及在证明能够被“认证”为无误之前必须搭建的巨型知识支架。下面将从三个互相缠绕的方向拆解：当前AI欠缺的关键能力、把解析数论搬进形式系统的浩大工