北大数学天才借力AI攻克孪生素数难题？
近日，Nature官网发布了一则令人振奋的消息：“无穷多素数成对存在的首次证明”，这个标题背后，是我国北大数学07级校友张益唐在孪生素数研究取得的突破性进展。这个突破，不仅让孪生素数猜想再次成为焦点，也让人们不禁好奇：当人工智能遇见数学难题，会擦出怎样的火花？让我们来了解一下这个突破性进展。张益唐证明了孪生素数猜想的一个弱化形式，找到了一个正数，使得有无穷多对素数之差小于这个给定正数。 这个正数是七千万，相对于孪生素数猜想给出的2还是有一段距离，但相比之前人们给不出来任何一个这样的正数，张益唐的结果无疑是
AI 重塑数学版图?过去这一年,人工智能究竟攻克了哪些数学难题?
9 月 4 日凌晨，人工智能公司 OpenAI 正式推出新一代旗舰大模型 GPT-6 Astra，首席执行官布罗克曼在发布会尾声只留下了一句简短有力的话——「欢迎踏入 AGI 时代」。发布会当日，OpenAI 还同步公开了一项重磅成果：GPT-6 Astra 将困扰学界十二年之久的孪生素数问题最佳上界，由原来的 246 大幅压缩至 186，并附带了一份基于条件式的 Lean 形式化证明。从 246 到 240，人类足足摸索了 12 个春秋，从 240 到 186，AI 仅仅耗费了 3 个昼夜。在展开后续讨
张益唐谈AI：未解素数难题，却擅长过度赞誉
5月17日，2026搜狐科技年度论坛在北京召开。来自科学界、学术界和产业界的近30位嘉宾围绕基础科学与人工智能议题展开深入探讨。论坛期间，国际著名数学家张益唐发表了题为《从孪生素数到零点猜想：近年基础数学的前沿突破》的主题演讲。据“搜狐科技”微信公众号报道，张益唐首先阐述了孪生素数的核心概念。他指出：“解析数论是一门高度抽象的数学学科，但在实际操作中，它与实验科学颇为相似。研究对象是数字或函数等与算术相关的内容。”谈及AI对孪生素数研究的影响，张益唐表示，目前AI在数论或经典解析数论问题上尚显无力，但其能