核心看点 OpenAI刚刚扔下一颗数学界的”核弹”——其AI模型成功破解了平面单位距离问题（planar unit distance problem），一个困扰数学家近80年的经典难题。这个由著名数学家Paul Erdős在1946年提出的开放性问题，长期以来被认为是组合几何领域的”圣杯”之一。 详细解析 什么是平面单位距离问题？…

核心看点 谷歌 DeepMind 最新推出 AlphaProof Nexus 框架，结合大语言模型生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，其中包括 2 个悬而未决长达 56 年的数学难题。这标志着 AI 在严格数学推理领域取得重大进展。 详细解析 AlphaProof Nexus 是什么？ AlphaProof Nexus 是…

核心看点 曾破解 iPhone 和 PlayStation 3 的传奇黑客乔治·霍茨（George Hotz）发布博文警告：AI 编程智能体可能是当代软件开发中”代价最高的错误之一”。经过 6 个月实测，他认为 AI 生成的代码表面越来越像样，但隐藏的问题更难识别，能力较弱的开发者很难看穿这些缺陷。 详细解析 谁是乔治·霍茨？ 霍茨于 1989 年出生，…

核心看点 微软 Microsoft 365 中的 AI 智能体 Copilot Cowork 被安全研究机构 PromptArmor 曝出存在严重安全风险。攻击者可通过”间接提示词注入”手段，操纵 AI 智能体窃取 SharePoint 与 OneDrive 中的企业机密文件，且测试显示 5 次攻击 5 次成功，成功率高达 100%。 详细解析 什么是 …

核心看点 腾讯推出操作系统级AI助手Marvis（马维斯） 核心定位”操作系统级”，整合系统、文件、应用、算力 提供”效率模式”和”隐私模式”两种工作方式 隐私模式完全本地运行，断网也能正常使用 支持Windows、Mac、iOS、Android多端协同 详细解析 腾讯正式推出其操作系统级智能助手&#822…

核心看点 Meta今年4月宣布裁减约10%员工，波及约7800人 扎克伯格称正利用员工工作数据训练内部AI模型 认为内部员工能力明显高于外包人员，训练效果更好 Meta同步推进裁员与内部转岗，7000人将加入AI新团队 详细解析 Meta在今年4月宣布裁减约10%的员工，波及约7800人。与多数企业在决策后迅速执行裁员不同，Meta提前近一个月通知了员工，但始终未公布具体的裁员…

核心看点 全球AI大模型周调用量达28.9万亿Token，连续五周上涨 中国AI大模型周调用量9.223万亿Token，连续四周超美国 DeepSeek-V4-Flash以3.43万亿Token登顶，环比上涨66% DeepSeek-V4-Pro API永久降价至原价1/4 详细解析 根据OpenRouter最新数据测算，上周（5月18日至5月24日）全球AI大模型总调用量达到…

核心看点 两条新闻放在一起看，意味深长： Meta大重组：裁员的同时，将7000名员工转岗至AI新团队 行业调研：逾800名企业高管调查显示，99%预计AI将在两年内引发裁员 详细解析 Meta的”换血”策略 扎克伯格一边裁撤传统业务岗位，一边大力加码AI。7000人的转岗规模，说明Meta正在用AI重构公司的核心能力。这不是简单的业务调整，而是一次战略…

核心看点 腾讯正式推出Marvis（马维斯）——一款操作系统层级的AI助手。最大的杀手锏是隐私模式：不联网也能运行，数据本地处理，彻底打消了用户对隐私泄露的顾虑。 详细解析 Marvis的定位不是简单的聊天机器人，而是深度嵌入操作系统底层的智能助手： 系统级集成：直接对接OS层，可以调用系统功能、管理文件、控制设置，体验远超应用层AI 离线隐私模式：核心模型本地化部署，敏感操作…

核心看点 阿里旗下千问平台迎来重大升级——正式接入全新一代大模型Qwen3.7-Max，并且面向用户免费开放。这是阿里在国产大模型赛道上的又一重要落子，也意味着国内用户又多了一个免费体验顶尖AI能力的选择。 详细解析 Qwen3.7-Max作为阿里通义千问系列的最新旗舰模型，在多个维度上实现了显著突破： 推理能力大幅提升：在数学、代码、逻辑推理等硬核指标上，Qwen3.7-Ma…