菲尔兹奖得主预警：AI可能杀死数学！
新智元报道 今年的菲尔兹奖颁发后，发生了一件令人震惊的事。 和王虹、邓煜一起获奖的多伦多大学教授 Jacob Tsimerman，居然紧接着宣布加入 OpenAI，转行从事 AI 安全研究。 他的理由是： 2 年之内，AI 将在所有数学证明领域，彻底超越人类。 次日，费城 ICM 2026 现场，菲
0
新智元报道 今年的菲尔兹奖颁发后，发生了一件令人震惊的事。 和王虹、邓煜一起获奖的多伦多大学教授 Jacob Tsimerman，居然紧接着宣布加入 OpenAI，转行从事 AI 安全研究。 他的理由是： 2 年之内，AI 将在所有数学证明领域，彻底超越人类。 次日，费城 ICM 2026 现场，菲
0
刚刚，Agnes国内API节点来了！这头撸代码的AI怪兽彻底解禁
新智元报道 模型越来越多，入口却不一定越来越好用。 7 月 29 日，Agnes AI 正式启用全新国内官网域名：https://agnes-ai.cn/ 同一时间，API 访问入口完成换挡，Agnes 2.5 Pro Alpha 杀入 Artificial Analysis 综合能力榜单前列，2.
0
奥特曼都惊了！一句话调500个Agent，一个人顶一家公司
新智元报道 最近，奥特曼在X上发了一段话，全网刷屏了。 「ChatGPT Work 太猛了，Work 这个名字都配不上它。」 他说自己从手机上发了一句话——翻聊天记录找旅行灵感、规划三个方案、做个全栈网站让九个朋友投票、投完自动订酒店、写好邮件等他发。 「然后……它就做完了。」 这还只是一个 Age
0
OpenAI，开源了！
新智元报道 OpenAI，终于又 Open 了一回！ 最近，OpenAI 官宣：已悄悄放出开源代码安全神器——Codex Security CLI。 此前，Hacker News 有人先发现了它，讨论瞬间引爆，GitHub 的星标一路冲到 1.2k。 眼看藏不住了，OpenAI 只好自己出来认领。
0
Claude最大规模MCP升级，月下载狂飙破4亿！
新智元报道 就在刚刚，Anthropic 放出了一个震撼业界的超级大招—— MCP 迎来了自发布以来最大规模的史诗级更新：MCP 2026-07-28。 这次更新，彻底砸碎了过去限制开发者手脚的枷锁。 从此，核心架构化身「无状态」，扩展功能也晋升了，企业级安全刚上了一个台阶。 不仅如此，MCP 的月
0
当市场在买“AI烧钱结束”，微软在买什么？
一份所有人都觉得超预期的季报。但如果只看数字，你大概率错过了真正重要的东西。 一、1750 亿的魔术——市场究竟在为什么欢呼？ 本次季报最剧烈的市场反应，既没出在营收超预期上，也没出在 Azure 43% 的加速上，而是在盘后两小时几乎被遗忘的电话会末尾——CFO 艾米·胡德轻轻说了一句："FY20
1
特斯拉公布欧洲FSD最新安全数据：安全性达人工驾驶5.2倍
7 月 30 日消息，特斯拉正在用一组亮眼的真实道路测试数据，为其欧洲版 FSD（监督版）的扩张提供支持。数据表明，与人类驾驶员相比，该软件引发的碰撞事故数量大幅减少。 IT 之家注意到，特斯拉欧洲官方账号昨日在 X 平台公布了最新数据，并表示：“过去 4 个月里，FSD（监督版）在 5 个欧盟国家
0
苹果App Store充值享额外10%奖励，至高可充1000元
7 月 30 日消息，昨晚，苹果 App Store 国区充值优惠活动再次上线。本次的充值奖励方式和之前一样，充值即可获得额外的 10% 奖励。 活动页面显示，本次活动充值金额介于 ¥5.00 至 ¥1,000.00 之间时，可享受此优惠。优惠数量有限，先到先得，仅限前 100,000 笔充值。优惠
0
微软CFO艾米·胡德：我们大力投资AI，现在已经看到回头钱了
IT 之家 7 月 30 日消息，据《商业内幕》今天（30 日）报道，微软 CFO 艾米 · 胡德在财报发布后向员工发送备忘录称，Azure 的增长和 Copilot 的势头证明了微软最大的 AI 投资正在获得回报，尽管公司为了跟上竞争而砸了数百亿美元。 微软公布财报后，股价在盘后交易中上涨 2%。
1
AI开始给自己写代码了！GPT-5.6重写内核，服务成本直降20%
新智元报道 这回，AI 开始为自己写代码了！ GPT-5.6 一上线，接到的第一个大活，就是给自己的运行环境来了一次大「翻修」。 它自主重写、优化了 OpenAI 线上那套底层代码，也就是真正负责跑模型的生产 GPU 内核。 7 月 29 日，OpenAI 官方甩出一组数字： GPT-5.6 Sol
0
巨头AI资本支出增速放缓初现端倪，Meta和微软同日释放新信号
85. 5 亿美元降至 7.84 亿美元。这是 Meta 一年间自由现金流的落差。 7 月 29 日美东时间盘后。同一天，Meta 和微软分别交出最新一季财报。Meta 的 Q2 营收 608 亿美元，同比增长 28%，小幅超预期；微软的 FY2026 Q4 营收 900 亿美元，Azure 增速
0
当汽车拥有智能“大脑”，车企开始争夺“身体控制权”
图片来源：华为智擎 一百多年来，汽车行业一直有一套相对稳定的评价体系。 发动机决定动力，变速箱影响效率，底盘决定操控和舒适性。无论是豪华品牌还是大众车型，所谓“一台好车”的核心竞争力，本质上都建立在机械工程能力之上。 但进入新能源汽车时代，这套标准正在发生变化。 随着智能驾驶、人工智能以及电子电气架
0
徐洁云：小米汽车没有所谓F码，请勿相信任何号称能转卖的骗子
7 月 30 日消息，今天（31 日）下午，小米集团董事长特别助理、战略市场部副总经理 @徐洁云在微博上转发有关“小米澎程假 F 码”的新闻并呼吁：请勿相信任何号称能转卖的骗子。小米汽车没有所谓 F 码，也不容许任何所谓“内部工作人员”违规操作。“如果有人自称所谓‘内部人士’，请将其身份信息告知我们
0
特斯拉Robotaxi新增车载录制功能，采集路况数据优化自动驾驶
IT 之家 7 月 30 日消息，特斯拉自动驾驶网约车（Robotaxi）网络正在不断加入专门用于测试和验证的新软件功能。随着改装版量产 Model Y 在部分城市提供 Robotaxi 服务，车辆中控屏上也开始出现一些独特功能。 X 平台用户 @Josh143574359 最近分享了自己乘坐一辆有
0
微软，刚刚靠Anthropic赚了216亿
智东西 作者杨京丽 编辑李水青 智东西 7 月 30 日报道，今天凌晨，微软公布 2026 财年第四季度（对应自然年 2026 年第二季度）及全年财报，其 AI 业务商业化规模继续扩大，算力投入和成本压力也在同步上升。其中 Azure 年度营收首次突破 1000 亿美元（约合人民币 6770 亿元）
0
酷派进入AI服务器赛道，推出多款新品覆盖2U至6U多种形态
7 月 30 日消息，据酷派 coolpad 官方微博，酷派今天正式进入 AI 服务器赛道，推出多款产品。 酷派表示，相应 AI 服务器覆盖 2U 至 6U 多种形态，适配多元化计算场景，打造灵活、高效、可靠的算力底座。不过并未公布相应产品的具体规格信息。
0
国家能源局：截至6月底我国电动汽车充电基础设施总数达2305.7万个，同比增43.2%
7 月 30 日，国家能源局举行新闻发布会，介绍 2026 年上半年全国能源形势及能源转型成效、可再生能源并网运行、迎峰度夏能源电力保供、电动汽车充电基础设施建设情况，发布《中国新型储能发展报告（2026）》并回答记者提问。 电力司副司长刘明阳介绍上半年我国电动汽车充电基础设施有关情况。国家能源局会
0
财报后Meta大跌10％，扎男还要为汪滔买单多久？
Meta 第二季度产生了 318.62 亿美元经营现金流，又花掉 310.78 亿美元建设数据中心和购买服务器，最后只剩下 7.84 亿美元自由现金流。 要知道，Meta 的广告机器仍然在高速赚钱。 二季度 Meta 营收 608.01 亿美元，同比增长 28%；其中广告收入 593.63 亿美元，
0
上过《奇葩说》的量子物理学家，回国从零建实验室｜对话人大郭彦良
郭彦良发表在《Science》上的那项工作，最初只是一组被扔进电脑回收站的数据。 2022 年 8 月，他和一名博士生临时决定尝试一项实验。一个小时后，屏幕上出现了一些不符合预期的结果。博士生认为没有意义，随手删掉了数据；郭彦良却觉得异常本身值得追问，又把它从回收站里找了回来。 经过后续实验、对照验
0
零跑朱江明：早知道造车这么烧钱 我就不干了
7 月 30 日消息，今日，罗永浩的访谈节目《罗永浩的十字路口》放出预热片段，预告片段中零跑汽车董事长朱江明表示："早知道造车这么烧钱，我就不干了。" 朱江明还在访谈中表示，两百亿是最起码的，造车真的需要两百亿。 此外，朱江明曾在去年 10 月的采访中透露，2015 年，他离开了深耕多年的安防企业大
0
中文在线：公司AI短剧正批量上线，同时AI互动影游等前沿领域产品正在准备中
7 月 29 日，中文在线（300364.SZ）发布投资者关系活动记录表。其中提到，目前，公司 AI 短剧正批量上线，同时 AI 互动影游等前沿领域产品正在准备中。通过构建全新的商业模式，公司将进一步拓宽原创内容的价值边界，释放优质 IP 在 AI 时代的大规模变现潜力。
0
从苹果落地到牛顿定律，Apple-π 把视频模型的物理推理过程摆上考场
一个苹果从树上落下，今天的视频模型大多能生成一段「看起来正确」的运动：苹果向下、速度加快，最终落地。 但模型是真的理解了重力定律，还是只是在复现训练数据中的视觉统计规律？ 这一区别，决定了视频模型究竟是擅长制造逼真画面的生成器，还是能够预测世界演化的「世界模型」。现有物理视频基准多聚焦最终结果是否合
0
AI“烧钱潮”降温？微软宣布砍资本开支，股价大涨8%
本轮 AI 热潮启动以来，科技巨头首次释放资本开支下修信号。 美东时间周三盘后（北京时间 7 月 30 日凌晨），微软公布 2026 财年第四财季（截至 6 月）的季度财报。微软该季度的云业务收入增长超出华尔街预期，表明随着算力瓶颈缓解及更多企业应用 AI 技术，其在人工智能基础设施上的巨额投入正逐
0
元戎启行内部成立新科研组织，或由前DeepSeek核心成员阮翀带队
图片来源：视觉中国 蓝鲸新闻 7 月 30 日讯（记者李卓玲）物理 AI 浪潮正在加速席卷汽车智驾行业。 7 月 30 日，蓝鲸汽车记者获悉，元戎启行旗下新成立的 Superfluid Lab（超流体实验室）已开启招聘，重点面向大模型算法、仿真算法、AI Infra 等方向招聘。 据知情人士告诉蓝鲸
0
世界杯刷屏的背后，腾讯云悄悄干了件大事
2026 年世界杯结束了，但有件事可能很多人没注意到，这是世界杯历史上，中国云厂商第一次大规模、成体系地承包了全球范围的赛事直播技术服务。 四大洲、17 个国家和地区，亚太地区三分之二的官方授权直播平台，背后跑的都是腾讯云。决赛那天晚上，全球各平台加起来最高在线突破 5000 万人，最高带宽峰值比上
0
OpenAI给科研人员送福利！ChatGPT高级功能免费
7 月 30 日消息，OpenAI 今天（7 月 30 日）在 X 平台发布推文，宣布启动 ChatGPT for Academic Researchers 计划，将向 10 万名科研人员免费开放 ChatGPT 高级功能。 科学家可以通过 OpenAI 官网，填写表格后加入 ChatGPT for
0
谷歌Lyria 3.5上线：AI歌曲终于可以只改一段，不用整首重做
7 月 30 日消息，谷歌发布音乐生成模型 Lyria 3.5 并接入 Google Flow Music。新模型支持对已生成歌曲的局部片段单独重新处理，同时在人声音质、歌词贴合度和创作控制粒度上做了升级。 Lyria 3.5 新增的核心功能是"选择性段落编辑"。用户生成一首曲子后，可以选中特定片段
0
“回旋镖”来了！前CEO张小龙喊人炒股，粉笔投资亏损5600万
7 月 27 日，培训机构粉笔在港交所发布盈利预告称，截至 2026 年 6 月 30 日，公司预计实现收入不少于 12.2 亿元，较上年同期的 14.92 亿元减少不超过 18.30%。 值得注意的是，这份预告还披露，粉笔于 2026 年 7 月 1 日至 7 月 7 日期间出售若干透过公开市场购
0
Meta扎克伯格：五年后，全球数十亿人将有专属的个人AI智能体
IT 之家 7 月 30 日消息，据外媒 TechCrunch 今天（30 日）报道，Meta 创始人兼 CEO 马克 · 扎克伯格正在向投资者描绘一幅未来图景：五年后，全球将有数十亿人拥有专属的个人 AI 智能体。 扎克伯格在财报电话会议上大胆预测：“无论把时间范围设定为五年还是其他期限，我都认为
0
财报里的两难：算力有人抢着买，Meta为什么不卖
7 月 30 日消息，Meta 周三发布 2026 年第二季度财报。当季营收 608.01 亿美元，同比增长 28%；经营利润 187.75 亿美元，同比下降8%；净利润 158.48 亿美元，同比下降 14%。利润下滑受到一次性法律费用和裁员成本拖累。公司当季资本开支 310.8 亿美元，自由现金
