ai
-
谷歌 AlphaProof Nexus 攻克两道悬置 56 年数学难题，AI 数学推理再突破
核心看点 谷歌 DeepMind 最新推出 AlphaProof Nexus 框架，结合大语言模型生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，其中包括 2 个悬而未决长达 56 年的数学难题。这标志着 AI 在严格数学推理领域取得重大进展。 详细解析 AlphaProof Nexus 是什么？ AlphaProof Nexus 是…
-
“神奇小子”乔治·霍茨警告：AI 编程智能体可能是代价最高的错误
核心看点 曾破解 iPhone 和 PlayStation 3 的传奇黑客乔治·霍茨（George Hotz）发布博文警告：AI 编程智能体可能是当代软件开发中”代价最高的错误之一”。经过 6 个月实测，他认为 AI 生成的代码表面越来越像样，但隐藏的问题更难识别，能力较弱的开发者很难看穿这些缺陷。 详细解析 谁是乔治·霍茨？ 霍茨于 1989 年出生，…
-
腾讯Marvis上线：操作系统级AI助手，断网也能用的隐私模式
核心看点 腾讯推出操作系统级AI助手Marvis（马维斯） 核心定位”操作系统级”，整合系统、文件、应用、算力 提供”效率模式”和”隐私模式”两种工作方式 隐私模式完全本地运行，断网也能正常使用 支持Windows、Mac、iOS、Android多端协同 详细解析 腾讯正式推出其操作系统级智能助手̶…
-
Meta裁员7800人，扎克伯格：用员工数据训练AI比外包更有效
核心看点 Meta今年4月宣布裁减约10%员工，波及约7800人 扎克伯格称正利用员工工作数据训练内部AI模型 认为内部员工能力明显高于外包人员，训练效果更好 Meta同步推进裁员与内部转岗，7000人将加入AI新团队 详细解析 Meta在今年4月宣布裁减约10%的员工，波及约7800人。与多数企业在决策后迅速执行裁员不同，Meta提前近一个月通知了员工，但始终未公布具体的裁员…
-
DeepSeek-V4-Flash登顶全球调用量榜首，中国AI模型连续四周领跑
核心看点 全球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，99%高管预测：两年内AI将引发大规模裁员
核心看点 两条新闻放在一起看，意味深长： Meta大重组：裁员的同时，将7000名员工转岗至AI新团队 行业调研：逾800名企业高管调查显示，99%预计AI将在两年内引发裁员 详细解析 Meta的”换血”策略 扎克伯格一边裁撤传统业务岗位，一边大力加码AI。7000人的转岗规模，说明Meta正在用AI重构公司的核心能力。这不是简单的业务调整，而是一次战略…
-
腾讯Marvis上线：操作系统层级的AI助手，不联网也能用
核心看点 腾讯正式推出Marvis（马维斯）——一款操作系统层级的AI助手。最大的杀手锏是隐私模式：不联网也能运行，数据本地处理，彻底打消了用户对隐私泄露的顾虑。 详细解析 Marvis的定位不是简单的聊天机器人，而是深度嵌入操作系统底层的智能助手： 系统级集成：直接对接OS层，可以调用系统功能、管理文件、控制设置，体验远超应用层AI 离线隐私模式：核心模型本地化部署，敏感操作…
-
Anthropic联合创始人梵蒂冈发声：AI发展不能只听科技公司的
核心看点 Anthropic联合创始人Chris Olah在梵蒂冈罕见发声，呼吁AI发展不能仅由科技公司主导 科技行业与天主教会罕见联手，标志着AI伦理问题已上升到全球治理层面 三大风险被重点点名：大规模失业、红利分配不均、系统黑箱化 Anthropic与特朗普政府曾因”安全护栏”起冲突，拒绝模型用于军事目的 详细解析 一场不寻常的”跨界对话…
-
OpenAI模型攻破80年数学难题：AI首次推翻数学家关于平面点距离问题的猜想
核心看点 5月21日，OpenAI官方宣布了一项重大突破：其AI模型成功解决了“平面单位距离问题”（planar unit distance problem）——这个由著名数学家保罗·埃尔德什（Paul Erdős）在1946年提出的经典难题，困扰了数学界近80年。 详细解析 什么是平面单位距离问题？ 这个问题研究的是：在平面上给定n个点，最多能有多少对…
-
AI日报：Anthropic年薪272万招写手，谷歌AI搜索被”忽略”整崩了
AI日报：Anthropic年薪272万招写手，谷歌AI搜索被”忽略”整崩了 核心看点 Anthropic高薪抢写作人才：年薪32-40万美元（约217-272万人民币）招文案主管 谷歌AI搜索出Bug：搜”忽略””停止”等词，AI以为是系统指令，直接回复”收到” AI时代写作更值钱…