今天是 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 系列模型 / 源码下载、私有化部署、分布式推理与智能体二次开发，高效打通顶尖大模型从技术研发到产业落地的关键链路。

：不是，正式版到底好不好用啊？