攻克悬置 56 年难题！谷歌AlphaProof Nexus颠覆数学界
谷歌DeepMind团队近日正式推出了全新的AI框架“AlphaProof Nexus”。该系统凭借强大的人工智能推理与形式化验证能力，在数学研究领域取得了里程碑式的突破，成功解开了两道已悬而未决长达 56 年的Erdős（埃尔德什）数学难题。 独创四级智能体架构协同破局 Alp...
2026-05-26 16:21
Google 在 AI 方向最近有哪些新动作
今日资讯 Google
Google 的产品动作、模型进展、组织变化和业务信号，会优先收拢在这里。
如果你想持续跟踪 Google 在 AI 方向的节奏，这一页会更直观。
Google资讯
1,411
正文图片
4,243
全家桶在手的谷歌和字节，为什么编程仍然是软肋？
在《纽约时报》旗下播客的采访中，谷歌CEO桑达尔·皮查伊承认，谷歌在Coding上确实落后了。 谷歌做AI完全算得上强势，它有Gemini，有非常庞大的谷歌生态，还有自研TPU。在最近的I/O大会上，谷歌几乎把AI塞进了所有核心入口。 它不是没做AI Coding，...
约4分钟耗尽额度，用户不满谷歌Gemini AI新规情绪升温
5 月 26 日消息，科技媒体 Android Authority 今天（5 月 26 日）发布博文， 报道称谷歌 Gemini 在调整 AI 计费方式后，用户不满情绪持续升温。 IT之家此前报道，谷歌宣布于 5 月 17 日开始调整 Gemini 配额算法，将原先“每日提示词次...
苹果今年AI投入预计接近130亿美元 远不及谷歌亚马逊
【TechWeb】5月26日消息，据外媒报道，自OpenAI研发的生成式人工智能聊天机器人ChatGPT爆火以来，谷歌母公司Alphabet、微软、亚马逊、Meta等一众科技巨头就在大力投入人工智能，也有多家新兴厂商在大力投入，目前仍在持续。 但在近几年的生成式人工智能热潮中，无...
2026-05-26 15:40
约 4 分钟耗尽额度，用户不满谷歌 Gemini AI 新规情绪升温
IT之家 5 月 26 日消息，科技媒体 Android Authority 今天（5 月 26 日）发布博文， 报道称谷歌 Gemini 在调整 AI 计费方式后，用户不满情绪持续升温。 IT之家此前报道，谷歌宣布于 5 月 17 日开始调整 Gemini 配额算法，将原先“每...
暂无图片
欧盟拟对谷歌处以数亿欧元巨额罚款
据路透社5月25日报道，欧盟计划对谷歌母公司Alphabet处以高达数亿欧元的罚款，或成为依据《数字市场法案》（DMA）开出的最高罚单。德国《商报》援引欧盟委员会消息人士称，相关调查已接近尾声。 欧盟委员会表示，罚款并非唯一手段，目前正与谷歌就合规问题开展谈判，同时强调将严格推进...
2026-05-26 14:11
暂无图片
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
IT之家 5 月 26 日消息，谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证， 在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。 IT之家注：Lean...
2026-05-26 13:40
谷歌AI 框架AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
IT之家 5 月 26 日消息，谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证， 在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。 IT之家注：Lean...
2026-05-26 13:21
暂无图片
谷歌回应 Antigravity 用户额度抱怨：重置配额，推出 Gemini 3.5 Flash（Low）
IT之家 5 月 26 日消息，科技媒体 Android Authority 今天（5 月 26 日）发布博文，报道称谷歌针对 Antigravity 用户抱怨“简单任务也很耗额度”一事， 推出了 Gemini 3.5 Flash（Low），并重置所有免费和付费 Gemini 计...
谷歌回应 Antigravity 用户额度抱怨：重置本周配额
IT之家 5 月 26 日消息，科技媒体 Android Authority 今天（5 月 26 日）发布博文，报道称谷歌针对 Antigravity 用户抱怨“简单任务也很耗额度”一事， 推出了 Gemini 3.5 Flash（Low），并重置所有免费和付费 Gemini 计...
2026-05-26 11:21
暂无图片
用户反馈智能家居版谷歌 Gemini AI 短板：猫当成浣熊，袋鼠识别为“人”
IT之家 5 月 26 日消息，澳大利亚网友 u/That_Car_Dude_Aus 昨日（5 月 25 日）在 Reddit 社区发帖， 表示智能家居版 Gemini 多次出现误判，把猫误认成浣熊，把袋鼠归类为“人”。 根据该网友反馈，Gemini for Home 在摄像头画...
斩获45.4k Star！谷歌资深工程师开源agent-skills，让 Claude Code写出生产级规范代码
智猩猩AI整理 编辑：没方 AI 编程智能体已成为开发者的效率神器，Claude Code、Codex 等工具，都能快速生成代码、辅助开发。 但 编程智能体往往倾向于走最短路径完成任务 —— 跳过需求规格、省略测试用例、忽略安全审查、不做代码简化，甚至直接绕过那些保障软件可靠性的...
2026-05-26 08:21
欧盟将对谷歌开出近10亿欧元反垄断罚单 创纪录
凤凰网科技讯 5月26日，据路透社报道，德国《商报》周一援引欧盟委员会知情人士的消息称，欧盟正计划在一项反垄断调查中对谷歌处以数亿欧元、接近10亿欧元级别的罚款。 谷歌 报道称，该决定已接近完成，预计将在欧盟夏季休会前公布。这将是欧盟因违反《数字市场法案》(DMA)而开出的最大罚...
2026-05-26 07:21
谷歌对“AI投毒”重拳出击
当你某天一觉醒来，发现自己被困在布满屏幕的房间里，每个屏幕中播放的不是你感兴趣的内容，而是无穷无尽的广告。想跳过？先支付费用。 这是《黑镜》在15年前上映的某一集的内容，某种程度上，它已经成为了现实。 今年的618大促已悄悄拉开了序幕，最近人们被各种藏在弹窗、信息流、直播间的广告...
谷歌DeepMind让AI看懂长视频的速度快了35%
这项由谷歌DeepMind与首尔国立大学联合开展的研究，以预印本论文形式发布于2026年5月，论文编号为arXiv:2605.17260，感兴趣的读者可通过该编号查询完整内容。 一个你可能没有意识到的事实是：当你把一段两小时的电影交给AI去理解时，它面临的挑战，就像让一个人在一秒...
暂无图片
Gemini也叛变了，付费用户变小丑
上周，谷歌悄悄上线了一套新的Gemini限额机制，引起了众怒。 一大批订阅用户发现和Gemini聊了没几轮，就提示“您已达到当前用量限额，请等待刷新”。Linux和reddit还有知乎上网友的讨论炸了锅。 之前Gemini的限额是按条数算，按天刷新。免费用户一天5条，Pro用户一...
谷歌对“AI投毒”重拳出击
文 | 字母AI 当你某天一觉醒来，发现自己被困在布满屏幕的房间里，每个屏幕中播放的不是你感兴趣的内容，而是无穷无尽的广告。想跳过？先支付费用。 这是《黑镜》在15年前上映的某一集的内容，某种程度上，它已经成为了现实。 今年的618大促已悄悄拉开了序幕，最近人们被各种藏在弹窗、信...
人类56年解不出，谷歌AI一夜连破9道世纪难题！
新智元报道 【新智元导读】DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年！全部证明都已经过Lean编译器形式化验证，没有幻觉。网友惊呼：数学奇点的火花点燃了。 数学界这个月，彻底疯了。 前脚OpenAI刚把E...