今日科技大新闻：小米18或延期DeepSeek上线国家超算网

今天是 8 月 15 日

农历七月初三

今天和同事一起去看了电影《牛来》

要说推荐的话，我其实不太推荐

但电影我确实已经看过了

同事在影院门口还接受了媒体采访

说不定今晚在电视上就能看到

。。。

下面是今天值得关注的其他大新闻

小米 18 系列最新爆料：标准版或将延至 2027 年初发布

（ IT 之家 ） 科技媒体 ximitime 于 8 月 14 日发布博文称，结合设备型号等多项线索来看，小米 18 标准版可能不会与 Pro 系列同期发布。

有消息源透露，代号 madrid 的机型，也就是小米 18 Pro Max，最早在 2025 年 12 月就已经出现在 Mi Code 代码中；相比之下，代号 venice 的小米 18 标准版直到 2026 年 3 月才首次现身。再结合该型号后缀数字“2612”推测，其发布时间至少会落在 2026 年 12 月前后。综合多条爆料信息来看，小米大概率会推迟小米 18 标准版的上市时间。

：什么？这算是全面对标了。

中国医生用 GPT-5.6 破解 22 年数学难题，数学家本人确认结果正确

（ IT 之家 ）2025 年，一系列协和 4+4 博士相关事件引发外界广泛关注和热议，其中就包括金山木事件。

北京协和医院神经外科博士后、住院医师金山木借助 OpenAI 的 GPT-5.6-Sol 模型，仅用约 16 小时就成功证明了自 2004 年以来困扰数学界长达 22 年的 Crouzeix 猜想。

美国康奈尔大学数学家 Alex Townsend 与华盛顿大学数学系教授 Anne Greenbaum 表示，他们二人以及该猜想提出者、法国数学家 Michel Crouzeix 本人都已审阅论文手稿，并确认这一证明正确无误。

：今晚我也让 GPT 试试证明黎曼猜想。

截至今年 8 月，全球科技行业裁员 12.6 万人，已超过去年全年

（ IT 之家 ）据外媒 Futurism 当地时间 14 日报道，2025 年全球已有 278 家科技公司累计削减 122606 个面向高技能专业人士的岗位。

其中，亚马逊和 Meta 等资金实力雄厚的大型科技企业，成为这一轮科技裁员潮的重要推动者。这些公司一边持续加大 AI 投资，一边进行大规模人员优化。

去年科技行业的就业形势已经相当严峻，而 2026 年可能还会更加艰难。截至 8 月中旬，今年科技行业的裁员总人数已经超过 2025 年全年水平。

Fast Company 此前公布的数据显示，截至 8 月 6 日，2026 年科技行业已有 125759 人被裁。随着 Etsy 和 Zillow 等公司继续推进裁员，这一数字预计还会进一步快速上升。

：听说有些公司裁完之后还会再招回来，不过还是先裁了再说。

DeepSeek V4 Pro 正式版、Harness 上线国家超算互联网，可一站式完成部署开发

（ IT 之家 ） 国家超算互联网宣布正式上线 DeepSeek V4 Pro 正式版（DeepSeek-V4-Pro-0813），以及智能体框架 DeepSeek Harness。

最新介绍显示，依托自主可控的国家级国产算力底座，平台用户可一站式完成 DeepSeek 系列模型与源码下载、私有化部署、分布式推理以及智能体二次开发，高效打通顶尖大模型从技术研发到产业落地的关键流程。

：不过话说回来，正式版到底好不好用啊？