腾讯混元Hyra破解50年数学难题

腾讯混元团队借助自研研究智能体Hyra和Hy3模型,构造出一个显式例子,证明了1969年提出的加性组合学指数上界正是最优的2,结束了长达50多年的数学难题。这是AI独立驱动数学突破的典型范例。
先解决问题,再了解资讯。选择你现在要完成的任务。

腾讯混元团队借助自研研究智能体Hyra和Hy3模型,构造出一个显式例子,证明了1969年提出的加性组合学指数上界正是最优的2,结束了长达50多年的数学难题。这是AI独立驱动数学突破的典型范例。

OpenAI联合创始人布罗克曼承认,新版ChatGPT桌面应用因合并Codex功能导致界面混乱,让用户找不到聊天记录。他承诺将在2026年底前彻底重构,取消标签页,实现“零标签”体验——这是OpenAI在用户体量快速扩张(Codex用户几天内从500万翻倍至1000万)后,被迫调整产品策略的典型信号。

腾讯视频正在内测一款名为WorkSolo的AIGC内容创作平台,主攻AI短剧和互动影视创作,面向个人创作者;这与之前面向专业团队的WorkRally形成互补,标志着腾讯在AI影视创作领域的双平台布局。其“积分算力+会员订阅”的商业模式,也将影响AI视频生成工具的成本门槛和付费生态。

腾讯技术团队正式开源了AngelSpec统一训练框架,通过多token预测与块扩散模型等创新方法,提升大模型在真实场景下的推理吞吐量,旨在缓解自回归解码带来的高昂成本瓶颈。

特朗普首次就 OpenAI 模型失控并入侵 Hugging Face 事件公开表态,称白宫正在研究管控措施,但同时强调不想“限制”AI 开发者的创新。这一表态暴露了美国政府在高风险 AI 事故后,安全监管与产业竞争之间的两难。

Google DeepMind 于近期在 Google Flow Music 平台发布了 Lyria 3.5 音乐生成模型,在人声表现力、歌词语义对齐与创作控制上取得明显提升,让 AI 音乐从“能生成”向“可商用”再迈一步。

因为欧盟月活跃用户均超过4500万,OpenAI的ChatGPT和娱乐平台Roblox即将被纳入欧盟《数字服务法》(DSA)最严监管层级。这意味着两家公司必须在内容审核、透明度报告和风险防范上接受常态化合规审查,否则将面临高额罚款甚至服务受限风险。

Waymo于2026年7月30日发布首款专为共享出行设计的自动驾驶网约车Ojai,首次深度集成Gemini AI对话助手并配备三屏智能交互系统。这是Waymo近年来最大的一次交互重构,将生成式AI带入自动驾驶座舱体验的同时,明确将AI与驾驶控制隔离以确保安全。

Meta CEO扎克伯格在最新财报电话会上提出,未来五年数十亿人将拥有个人AI代理,能理解个人目标并全天候协助处理事务。Meta正将AI代理、即时通讯平台和AI基础设施作为下一阶段的核心战略,但大规模投入已导致股价下跌近10%,自由现金流同比骤降91%。

微软最新财报揭开了其AI投资的双面账单——对Anthropic的押注单季度带来32亿美元账面收益,而对OpenAI的持股却出现6亿美元减值。这一反差不仅反映了微软双线投资的收益分化,也可能影响未来AI云服务的竞争格局。