OpenAI下一代模型Astra：10项开放问题新突破 成本2000美元
一道困扰学界几十年的开放问题，需要多少成本才能取得关键突破？OpenAI 给出的答案是，十道题加起来，约 2000 美元。昨天下午，OpenAI 公布了一份颇为惊人的成绩单。其下一代主要模型 Astra 的内部版本，在高维几何、编码理论、群
电动汽车开了5年 电池应该在什么水平？专家详解新国标规范
据央视新闻报道，电动汽车车主可能有这样的疑问：车上的动力电池衰减状态如何？电池到底还能用多久？日前，电动汽车动力电池耐久性国家标准实施，参照这一标准，消费者就可以清楚了解，电动汽车动力电池的状态究竟如何。 阅读全文
Xbox CEO谈未来增长计划 将以主机平台为核心
继微软近期大规模裁员，以及其财报显示Xbox部门上季度营收下滑10%之后，据报道，Xbox CEO Asha Sharma已向员工发出备忘录，阐述公司未来发展方向。 阅读全文
OpenAI下一代AI攻克10项菲尔兹奖级难题
OpenAI还有大招！奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！这249页的PDF，在整个数学圈都是非常炸裂的程度。 阅读全文
从11.9%飙到95.95% 微软屠榜网安基准 真正王牌不是大模型
95.95%。在业内公认的CyberGym网安基准上，这个分数刚刚把一众最顶尖的模型甩到了身后。而拿下它的，不是一个前沿模型，而是微软的MDASH系统。 阅读全文
微软为Windows 11推出智能索引功能搜索 自动识别与索引常用文件夹
微软正在为 Windows 11 引入一项全新的搜索索引功能，试图解决用户长期以来对系统搜索“找不到该找的文件”的不满，使搜索结果更加贴近实际使用习惯。 这项新功能名为“自动查找其他相关位置（Automatically find addit
特朗普媒体推出付费数据服务 为客户提供更快访问帖文渠道
美国总统唐纳德·特朗普旗下的特朗普媒体与科技集团（Trump Media and Technology Group，简称特朗普媒体）于当地时间8月1日正式上线一项新的付费数据服务，为机构客户提供对其社交平台 Truth Social 上特朗
3D打印“烟囱”散热塔让9800X3D降温19°C 但没有任何机箱装得下
一位知名硬件玩家近日通过 3D 打印制作了一套模块化“烟囱”散热结构，让 AMD Ryzen 7 9800X3D 在满载时的核心温度下降了整整 19°C，不过代价是这套装置高度几乎顶到天花板，完全不具备实用装机价值 。这一实验展示了利用“烟
Pixel 11全系规格与美欧售价曝光 四款新品8月12日登场
Google新一代旗舰手机 Pixel 11 系列的完整规格与美国、欧洲售价现已提前曝光，涵盖 Pixel 11、Pixel 11 Pro、Pixel 11 Pro XL 以及折叠屏机型 Pixel 11 Pro Fold 四款机型。报道称
纽约起诉预测市场平台Kalshi 指控其从事非法赌博业务
纽约州司法部长莱蒂蒂娅·詹姆斯（Letitia James）近日向位于曼哈顿的纽约州最高法院提起诉讼，指控预测市场平台 Kalshi 违反该州赌博法律，运营“非法且未获许可的赌博业务”，其投注范围涵盖体育、文化、选举以及其他各类事件。 阅读
北京理工科研团队打造突破传统的红外成像全彩夜视新方案
北京理工大学的研究团队近期开发出一款新型夜视原型装置，可以将红外光转换为全彩可见图像，而不再局限于传统夜视设备常见的单一绿色画面。 这一装置采用碲化汞量子点与双层 OLED 结构相结合的设计，将不同波长和强度的红外信号直接映射为不同的可见颜
科普YouTuber Hank Green承认对AI依赖“并不健康” 宣布减少视频更新频率
美国知名 YouTuber、小说作者兼喜剧创作者 Hank Green 近日公开向观众道歉，承认自己在制作内容时对生成式 AI 聊天机器人产生了不健康的依赖，并表示将减少视频产量，重新梳理个人创作流程。 阅读全文
明尼苏达法官驳回 xAI 要求阻止“脱衣”应用禁令生效的请求
美国明尼苏达州一项针对“脱衣”类应用的禁令将按计划生效，尽管埃隆·马斯克旗下 xAI 公司提起诉讼试图阻止该法案落地，但联邦法官已驳回其临时禁令请求。 据 NBC 新闻报道，这项法律旨在禁止允许用户对图像进行“脱衣”处理的应用，是全美首个此
萨姆·阿尔特曼再提“用 ChatGPT 帮带娃” 引发网友反感与质疑
OpenAI 首席执行官萨姆·阿尔特曼近日再次高调推介利用 ChatGPT 辅助育儿的“酷用法”，却在社交媒体上遭到不少网友翻白眼，反而激起了一轮关于科技是否正在取代亲子交流的新争论。 阅读全文
量子光子穿越芝加哥繁忙互联网：24.4公里电信实网光纤保持纠缠态
美国西北大学研究团队近日在真实城市通信网络中完成了一项关键实验：在承载大容量商业互联网数据的现役光纤中，成功将一束携带量子信息的单光子从郊区传输至芝加哥市中心，全程约 24.4 公里，并在强烈干扰环境下保持与远端伙伴的量子纠缠关系。该成果表
非阿贝尔任意子实现通用量子运算 量子计算“黑马”跨过关键门槛
美国芝加哥大学分子工程普利兹克学院（UChicago PME）、哈佛大学、石溪大学以及量子计算公司 Quantinuum 的研究团队近日宣布，他们首次在真实量子硬件上，用一种名为“非阿贝尔任意子”的奇特量子对象，完成了一整套可支持通用量子计
大型强子对撞机轻离子碰撞首现宇宙“原初物质”迹象
位于欧洲核子研究中心（CERN）的大型强子对撞机（LHC）近期利用氧核和氖核开展的轻离子碰撞实验，首次在四大实验中同时发现疑似夸克–胶子等离子体的多重信号，这种极端物质形态被认为在大爆炸后最初的百万分之一秒内充满了整个宇宙。 阅读全文
NetBSD 11.0 发布 引入RISC-V支持并强化Linux系统调用兼容性
NetBSD 项目于当地时间 2026 年 8 月 1 日正式发布第十九个重大版本 NetBSD 11.0，为这一著名 BSD 操作系统带来了架构支持与系统兼容性方面的多项重要更新。 本次版本最大的亮点之一，是首次原生支持 64 位 RIS
DeepSeek V4-Flash正式版实测Agent能力直追顶级模型
7月31日，DeepSeek官宣DeepSeek-V4-Flash正式版API（接口）开启公测。DeepSeek表示，DeepSeek-V4-Flash正式版大幅升级其代理能力，正式版的基准测试得分已远超V4-pro预览版。 阅读全文
国家超算互联网上线DeepSeek-V4-Flash正式版API 一键调用、无需配置
日前，DeepSeek宣布，DeepSeek-V4-Flash正式版API开启公测。随后，国家超算互联网宣布，DeepSeek-V4-Flash正式版模型DeepSeek-V4-Flash-0731已正式上线，同步提供API调用服务及模型文