AI周观察 | 2026年5月22日—29日：AI攻克数学堡垒，变革已至还是泡沫将破？
本周的人工智能领域仿佛开启了倍速模式。Anthropic携带着9000亿美元估值和Karpathy的加盟高调归来；OpenAI的模型独立证明了困扰学界80年的平面单位距离猜想；Google I/O将「Agent」作为全场唯一核心主题。我们正身处一个特殊的时刻——AI不再仅仅是「更优质的工具」，它正在演变为「另一种思维方式」。━━━━━━━━━━━━━━━━Anthropic正在推进一轮高达300亿美元的融资，估值逼近9000亿美元。Andrej Karpathy正式加入Anthropic Claude团队
AI周报：谷歌破解56年数学谜题 企业豪掷AI投资
谷歌DeepMind的AlphaProof Nexus解开了两个悬置56年的数学难题，AI做数学连续两周爆大新闻；一家卖味精的上市公司要投3亿给阶跃星辰；Uber四个月烧完全年AI预算，高管坦言"算不清这笔账"。12条消息，5分钟看完。事件：谷歌DeepMind发布AlphaProof Nexus，结合大语言模型和Lean形式化验证系统，在353个Erdős问题中自主解决9个，其中2个悬置了56年。意味着什么：上周OpenAI刚推翻80年数学猜想，这周谷歌就甩出AlphaProof Nexus。两家在AI
AI破解数学难题：从解题工具到发现新知
你是否曾思考，AI何时能够自主提出问题？不是人类给它题目求解，而是它自行发现问题、探索未知路径，并指出人类认知的不足之处？昨日，OpenAI完成了一项令数学界震惊的工作——其内部通用推理模型独立证明了埃尔德什于1946年提出的几何猜想存在错误。八十年来，无数数学家在“平面单位距离问题”上屡战屡败。埃尔德什曾悬赏500美元征集解答——如今，一台尚未公开的AI用前所未有的方法推翻了这一猜想。更令人震惊的是：该AI所采用的方法，连专研此问题的数学家都未曾设想过。究竟发生了什么首先明确“单位距离问题”的核心——在
AI的真实水平究竟如何
——数学、图灵测试与一个替你干活的幽灵近期，三件大事接连发生。OpenAI的模型攻克了一道困扰数学界八十年的难题，菲尔兹奖得主称赞其论文质量极高。GPT-4.5在图灵测试中，有73%的评委误以为它是真人，胜过人类自己。Google推出了Gemini Spark，一个全天候为你服务的AI助手——你只需下达指令，查邮件、比价、订票、安排日程，其余琐事全由它搞定。单看每条新闻都足以登头条，但凑在一起感觉却不同：AI似乎在多个维度上同时跨越了一个临界点。· · ·▎一先说数学新闻，别被“AI又赢了”四个字轻描淡写
AI模型突破组合几何经典难题：80年悬案终被解开
OpenAI Research · 2026 年 5 月 20 日 · 研究里程碑近 80 年来，数学家们始终在探索一个看似简洁的问题：当平面上分布着 n 个点时，最多能形成多少对恰好相距 1 个单位长度的点？这就是著名的平面单位距离问题（planar unit distance problem），由匈牙利数学家保罗·埃尔多什（Paul Erdős）于 1946 年首次提出。该问题是组合几何（combinatorial geometry）领域最具影响力的难题之一——表面上看似直白，实则极度复杂难解。200
人工智能突破80年数学难题 单位距离问题终被攻克
OpenAI 研发的通用推理模型成功破解了困扰学界八十载的"单位距离问题"，彻底否定了离散几何领域的这一核心猜想。这被视为人工智能驱动数学研究进入崭新阶段的重要标志。试想你在无限广阔的平面上分布若干点。任意两个点之间都存在一定距离，其中部分点对之间的距离恰好为 1（即"单位距离"）。核心问题在于：究竟能够形成多少对距离恰好为 1 的点？这个问题看似直白，实则蕴含极深的数学内涵。Brass、Moser 和 Pach 在 2005 年推出的《离散几何研究问题》一书中，将其称为"组合几何中最负盛名（也最易阐释）
张益唐谈AI：未解素数难题，却擅长过度赞誉
5月17日，2026搜狐科技年度论坛在北京召开。来自科学界、学术界和产业界的近30位嘉宾围绕基础科学与人工智能议题展开深入探讨。论坛期间，国际著名数学家张益唐发表了题为《从孪生素数到零点猜想：近年基础数学的前沿突破》的主题演讲。据“搜狐科技”微信公众号报道，张益唐首先阐述了孪生素数的核心概念。他指出：“解析数论是一门高度抽象的数学学科，但在实际操作中，它与实验科学颇为相似。研究对象是数字或函数等与算术相关的内容。”谈及AI对孪生素数研究的影响，张益唐表示，目前AI在数论或经典解析数论问题上尚显无力，但其能
AI 日报：新政、新技与激评
今日 AI 界资讯爆发，涵盖政策导向、技术尖端及业内巨擘的犀利见解，均昭示着 AI 正迅猛融入各界。让我们速览今日六大焦点。1政策导向新举措聚焦电力交易、能源调度等场景，探寻 AI 实战落地，与范式智能战略高度吻合。AI 助力实体经济，从电力能源切入，政策引导意图清晰。点评：AI 落地场景愈发具体了。2空间智能高德提出空间智能“具身化”跨越，其 ABot 模型凭 0.829 总成绩摘得全球挑战赛桂冠。空间智能融合具身智能，高德在出行领域的技术积淀展露无遗。点评：导航巨头秀出 AI 实力。3影像创作美图推出
AI代理新拐点：成本塌缩与边界再塑
今天的科技圈热度有点“爆表”：一位23岁的零基础研究者靠ChatGPT切入，硬是撬动60年数学难题；DeepSeek又以“价格屠夫”的姿态搅动市场；还有人忙着给AI搭建专属的“纯净社交圈”……信息流冲得太快，我们就直接上今天的硬核速递。这位没有高等数学背景的23岁研究者，借助GPT-5.4 Pro，只花80分钟就拿下困扰学界60年的Erdős问题。AI的思路走的是“vibe mathing”，证明路线（马尔可夫链）和人类常规路径完全不是一个画风；连菲尔兹奖得主陶哲轩都忍不住评价：人类往往在最初一步就偏了。
AI前沿速递
AI每日前沿 技术突破：人工智能独立破解数学难题 数学界新里程碑：据科技日报消息，我国首度实现AI自主攻克数学开放性问题。这一成就标志着AI正由纯粹的“运算工具”向拥有“逻辑推演与探索能力”的科研协作者转变。 耐热芯片革新：南加州大学科研团队推出一款能在700°C（高于熔岩温度）环境中运行的存储器件。此项技术不仅打破了电子元件的散热瓶颈，还有望借助全新原子尺度机制，显著提高AI运算效率并减少能源消耗。 产业趋势：代理型AI崛起 供应链变革：Gartner最新预测显示，搭载代理型AI功能的供应链管理软件市场