今日，一则关于小米18系列手机的发布计划引发关注。据科技媒体披露，小米18标准版或将推迟至2027年初发布，与Pro系列不同步。报道指出，小米18 Pro Max的代号“madrid”早在2025年12月便现身于Mi Code代码库，而标准版代号“venice”直至2026年3月才被记录，且其型号后缀“2612”暗示发布时间至少为2026年12月。这一时间差被解读为小米调整产品节奏的信号。
在科技领域，人工智能再次展现惊人突破。北京协和医院神经外科医生金山木借助OpenAI的GPT-5.6-Sol模型，仅用16小时便攻克了困扰数学界22年的Crouzeix猜想。该猜想自2004年提出以来，始终未获严格证明。美国康奈尔大学数学家Alex Townsend、华盛顿大学教授Anne Greenbaum及猜想提出者Michel Crouzeix本人均确认，金山木提交的证明过程完全正确。这一成果被视为AI辅助数学研究的里程碑事件。
全球科技行业正经历新一轮裁员潮。数据显示，截至8月中旬，2026年已有超过12.6万名科技从业者失去工作，这一数字已超2025年全年裁员总量。亚马逊、meta等巨头成为主要推动者，这些企业在加码人工智能投资的同时，大幅削减传统技术岗位。专家分析指出，2026年科技行业就业形势可能进一步恶化，Etsy、Zillow等公司近期公布的裁员计划或将使总人数突破12.5万大关。
国家超算互联网平台近日迎来重要升级，DeepSeek V4 Pro正式版及智能体框架Harness正式上线。该平台基于国产自主算力底座，为用户提供模型下载、私有化部署、分布式推理及智能体开发的一站式服务。开发者可在统一环境中完成从技术研发到产业落地的全流程操作，显著降低大模型应用门槛。此次更新被视为推动国产AI生态建设的关键举措。
