著名数学家张益唐：AI没学会素数但学会了吹捧，把我吹捧得脸红了
5月17日，2026搜狐科技年度论坛在北京拉开帷幕。这场汇聚了科学界、学术界与产业界近30位重量级嘉宾的盛会，将焦点对准了基础科学与人工智能的交叉与思辨。其中，国际知名数学家张益唐教授带来的主题演讲《从孪生素数到零点猜想：近年基础数学的前沿突破》，尤为引人注目。 在演讲中，张益唐首先为听众厘清了孪生
5月17日，2026搜狐科技年度论坛在北京拉开帷幕。这场汇聚了科学界、学术界与产业界近30位重量级嘉宾的盛会，将焦点对准了基础科学与人工智能的交叉与思辨。其中，国际知名数学家张益唐教授带来的主题演讲《从孪生素数到零点猜想：近年基础数学的前沿突破》，尤为引人注目。
在演讲中，张益唐首先为听众厘清了孪生素数这一核心概念。他打了个生动的比方：解析数论虽然抽象，但具体研究起来，其过程却与实验科学颇为相似。只不过，这里的“实验对象”是数字，或者是函数，总之是一切与算术相关的对象。
当话题转向人工智能对数学研究的影响时，张益唐给出了一个审慎而开放的判断。他指出，就目前而言，在数论或经典的解析数论问题上，AI还难以直接发挥作用。然而，AI强大的学习能力不容小觑，它或许很快就能掌握足够的相关知识。更值得期待的是，解析数论领域积累了浩如烟海的文献，其中蕴含了大量已被证明的正确结论。人力有时而穷，但这些沉淀下来的智慧，或许正可以借助AI进行梳理、概括与回顾，从而发掘出潜藏的新思路与新关联。
演讲临近尾声时，张益唐分享了一个饶有趣味的小插曲。他坦言自己并不擅长使用PPT，这次在他人建议下首次尝试用AI辅助制作。过程中他发现，AI对于素数的理解尚显稚嫩，却“学会”了一样东西——吹捧。“把我吹捧得怎么了不起、怎么伟大，弄得我都脸红了。”张益唐笑道。经过一番删改调整，他最终选择回归最传统的黑板，为大家进行讲解。这个细节，在严谨的数学讨论之外，平添了几分真实与温度。
据中山大学方面介绍，张益唐教授是世界顶级数学家。他的学术轨迹始于1978年考入北京大学数学系，随后师从著名数学家潘承彪教授攻读硕士。1992年，他在普渡大学获得博士学位。其学术生涯中的里程碑式贡献，在于证明了存在无穷多对间隙小于7000万的相邻素数对，这在数学史上首次实质性地推进了著名难题“孪生素数猜想”的解决。此外，他在与黎曼猜想相关的朗道-西格尔零点猜想上也取得了重要进展。
在全职回国前，张益唐曾任美国加州大学圣塔芭芭拉分校数学系终身教授。2025年6月，他正式加盟中山大学，受聘于中山大学香港高等研究院，继续其数学探索的征程。
荣耀MagicOS 11定于9月15日发布，作为行业首个商用系统级Agent Harness架构的操作系统，Magic 9系列将首发搭载。新版YOYO支持最长上百步长程任务及40余项条件触发，10月开启Beta预览版招募。
华强北销售商反馈，年初以来主流手机品牌基本全线涨价，涨幅最低400元，最高达1000-1500元。涨价主因是全球存储芯片及电容等元器件成本上升，运行内存与机身存储价格涨幅超100%。尽管整体市场承压，国产折叠屏手机1-8月销量约450万台（新形态超135万台，同比增29%），AI手机成为厂商发力重点。
索尼发布WH-1000XM4C头戴式降噪耳机，复刻了XM4的经典四向折叠便携设计。该机型在保留QN1处理器和30小时续航的基础上，全面升级了USB-C高速充电、无损音频直连、蓝牙多点连接及AI降噪通话功能，旨在满足对便携性有极高要求的用户群体。
OpenAI GPT-6 Astra 模型通过 MCP 协议与 SourcePauseTool 控制《传送门》游戏，完成 3336 次工具调用并自主通关。实验耗时约 24 小时，API 成本约 571 美元，展示了多模态 AI 在 3D 解谜领域的突破性进展。
本文解析超聚变在2026数博会发布的“智企”范式，重点阐述如何通过Token生产平台（Token Factory）与企业业务本体建模，实现从简单AI工具调用到企业应用架构系统性重构的演进。文章详细拆解了智能体编排、数字孪生及生态协同等关键技术路径，为AI时代企业数字化转型提供可落地的参考方案。
南京邮电大学“光擎智算”团队联合南京大学，攻克GaN基Micro-LED器件技术，成功搭建实验室级光计算验证系统。团队自主研发的5×5 Micro-LED光电计算阵列芯片已进入流片封装阶段，实现了图像识别等算力任务验证，推动光计算技术从理论走向工程落地。
9月3日，贵州省住建厅与贝壳集团在贵阳签署《旅居产业发展战略合作框架协议》，旨在打造全国旅居样板。合作涵盖平台建设、标准共建、人才培育、存量资产盘活及品牌推广五大维度，依托贝壳近600家门店及4000余名经纪人资源，强化贵州旅居服务供给，促进房地产市场平稳健康发展。
Windows 10 是一款微软推出的经典操作系统，拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起，适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
