橘猫新闻 综合报道
今日科技界传来多项重磅消息：北京协和医院医生金山木利用AI模型破解困扰数学界22年的Crouzeix猜想，获数学家本人确认；小米18标准版或因产品规划调整延期至2027年初发布；全球科技行业裁员人数已超去年全年。
北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型，仅用约16小时成功证明了自2004年以来困扰数学界长达22年的Crouzeix猜想。美国康奈尔大学数学家Alex Townsend与华盛顿大学数学系教授Anne Greenbaum表示，他们两人及猜想提出者、法国数学家Michel Crouzeix本人均已审阅论文手稿，并确认证明正确无误。
另据科技媒体ximitime 8月14日报道，基于设备型号等多条线索，小米18标准版可能不会与Pro系列同步发布。消息源指出，代号“madrid”（小米18 Pro Max）最早于2025年12月出现在Mi Code代码中，而代号“venice”（小米18标准版）直到2026年3月才出现，且该型号后缀数字为“2612”，表明至少要到2026年12月左右才可能发布。种种线索显示，小米公司或将延后发布小米18标准版。
与此同时，全球科技行业裁员潮持续加剧。据外媒Futurism当地时间14日报道，2025年全球278家科技公司共削减122606个岗位，而截至8月中旬，2026年科技行业已有125759人被裁，超过2025年全年。亚马逊、Meta等大型企业一边大举投资AI，一边大规模裁员，就业形势预计将进一步恶化。