行业观察

Andrew Wiles 本报讯 费马大定理是过去半个世纪最负盛名的数学成果之一。9月4日，美国人工智能（AI）公司Anthropic宣布，其开发的AI聊天机器人Claude 的进阶版模型，将该定理首次转化为计算机验证代码。该模型仅用11天便完成了这个人类预计需要10年才能完成的项目。这一结果表明，AI将在核验数学家的工作以及产生新的数学推理方面发挥越来越重要的作用。美国罗格斯大学的数论学家Ale

据预测，随着人口增长与老龄化，到2050年，全球癌症病例将激增67%。美国癌症协会（ACS）牵头完成的一份报告揭示了全球癌症的严峻形势，同时指出通过预防、早期诊断和改善医疗可及性，有望减轻一部分癌症负担。根据《2026全球癌症统计》，2024年，全球约2100万人被确诊患有癌症，其中死亡人数达980万。据估计，全球约1/5的人在一生的某个阶段会患上癌症，预计约1/9的男性和1/13的女性会死于癌症

■本报记者 李晨近日，在青海省西宁市湟中区春油菜百亩示范片，经青海省农学会组织专家现场鉴定，中国工程院院士、中国农业科学院油料作物研究所（以下简称油料所）研究员王汉中团队培育的春油菜新品种“中油青1号”采用分段机械实收亩产达314.65公斤，较当地平均单产增幅超66.3%，创我国高海拔区春油菜百亩示范机收单产纪录。数字的背后，不仅是一个品种的产量突破，更是一场育种理念的创新。该团队首创的“生物技术

内蒙古奈曼农田生态系统国家野外科学观测研究站。■本报通讯员 王旭洋 李玉强 记者 叶满山科尔沁沙地作为我国北方典型的生态脆弱农牧交错带，长期受自然气候与人为活动双重影响，土地沙漠化问题突出，使得区域生态保护与经济发展受到制约。40余年来，中国科学院西北生态环境资源研究院内蒙古奈曼农田生态系统国家野外科学观测研究站（以下简称奈曼站）科研团队扎根沙地一线，秉持“边研究，边示范，边转化”理念，深耕沙漠化

本报讯（记者刁雯蕙）近日，香港理工大学助理教授张晓革团队研发出一套可信人工智能框架（TRUECAM）。该框架可应用于全切片影像分析，用作非小细胞肺癌亚型分类，同时提升数据和人工智能模型的可验证可靠性，为病理人工智能在癌症诊断中的安全应用奠定了重要基础。相关成果发表于《自然-生物医学工程》。TRUECAM能评估人工智能对诊断结果的把握程度，并在结果存在较高不确定性或输入数据超出模型适用范围时，主动提

因为一句玩笑话，24岁的美国籍综合格斗选手科尔·约翰逊（Cole Johnson），外号Wavy MMA，自称收到了一场搏斗邀约，对方出价超过50万美元，让他和一只黑猩猩搏斗。然而，如此荒诞、令人难以置信的比赛，约翰逊竟然接了，截止到目前，他只参加了一场正式比赛，1胜。据媒体报道，比赛时间将定在9月11日，具体举办地点尚未公布，约翰逊的理由是不方便透露。对手已确定，是一只雄性黑猩猩，有咬人经历，约

IT之家 9 月 9 日消息，除了 iOS / iPadOS 26.6.2 正式版更新之外，苹果同时还为其即将推出的 Beats 360 头戴式耳机推送了固件更新（版本号 4A203）。这意味着产品发布已临近。近几个月来，Beats 360 已多次出现在监管数据库和零售商的列表中。在今年 6 月举行的 2026 年 FIFA 世界杯期间，足球明星拉明 · 亚马尔（Lamine Yamal）和安东尼

IT之家 9 月 9 日消息，Windows 爱好者 PhantomOfEarth 发现，微软正在为 Windows 11 开发一项用户期待已久的功能 —— 自动深色模式定时切换。相关代码已经出现在 Experimental 实验预览版中。根据其发现的多个字符串，该功能被命名为“Schedule auto mode”。微软将提供两种触发方式：一种是基于地理位置计算出当地的日出和日落时间进行自动切换

近期，燃油车市场虽面临销量下滑压力，但仍有不少消费者对其青睐有加，各大车企也持续在该细分领域发力。乘联会数据显示，8月燃油车零售量同比下降40%，其中纯燃油车降幅达45%，市场份额不断被新能源车蚕食。不过，凭借稳定的驾控体验、便捷的补能方式以及成熟的用车体系，燃油车依然拥有特定消费群体，且部分车型利润空间可观，促使车企不断推出新车。以下四款即将上市或已申报的燃油SUV，各具特色，值得关注。全新捷途

人形机器人领域迎来重要突破。近日，宇树科技宣布其自主研发的世界-动作大模型UnifoLM-X2-1.0取得关键进展，首次实现人形机器人在搏击场景中的全自主操作。视频画面显示，机器人能够独立完成出拳、格挡、闪避等动作，并在攻防转换中保持连贯性，全程无需人工干预或预设程序。这一成果标志着世界模型驱动技术在实际应用中迈出重要一步，为智能机器人大规模落地提供了技术支撑。作为科创板"人形机器人第一股"，宇树

宇树科技近日发布了一段全自主人形机器人格斗实拍视频，首次实现了基于世界模型实时驱动的人形机器人自主格斗。这一突破标志着机器人技术从预设脚本或人工遥控模式，向完全自主决策迈出了关键一步。演示中，机器人依托"世界-动作大模型"UnifoLM-X2-1.0，在无预设动作、无人工干预的情况下，通过实时感知环境并推演物理规律，完成了攻防策略的制定与执行。该模型的核心突破在于解决了瞬时规划、决策输出和动态交互

智能手机市场正迎来新一轮创新浪潮，各大厂商纷纷推出差异化产品以抢占细分领域。努比亚即将发布的NaviX Ultra机型凭借AI智能体定位引发行业关注，这款定档9月16日的新品被视为打破传统交互模式的重要尝试，其核心亮点在于将AI能力深度融入硬件设计与系统架构。硬件配置方面，该机搭载骁龙8 Elite Gen 5旗舰芯片，在制程工艺、核心性能、能效比及AI算力等维度实现全面升级。特别针对影像处理、游

在机器人技术不断发展的今天，如何让多个机器人协同工作成为新的研究热点。芝诺机器人近期发布的Zeno-1模型，为这一领域带来了新的突破。这款拥有30亿参数的基础模型，专注于协作物理智能，旨在解决多机器人协作中的关键问题。在传统的机器人应用中，单个机器人独立完成任务是主流模式。然而，现实世界中的许多任务需要多个机器人共同参与。例如，共同搬运大型物体、装配复杂零件等场景，单个机器人往往难以胜任。芝诺机器

在智能体技术加速演进的背景下，全球半导体架构巨头Arm在上海举办年度大会，宣布完成从传统CPU架构向覆盖"云、边、端、物"全场景计算体系的战略转型。此次发布的新一代计算平台与生态计划，标志着AI基础设施竞争进入系统级创新阶段。针对移动终端市场，Arm推出的第二代移动计算子系统CSS for Mobile 2构建了AI原生计算底座。该平台整合的C2-Ultra CPU通过第二代可扩展矩阵扩展技术（S

在人工智能技术快速发展的当下，评估AI智能体的性能成为了一项极具挑战性的任务。尤其是在智能体需要处理复杂工作流、服务大量真实用户时，如何确保每一次系统更新都能带来整体性能的提升，而非局部优化伴随其他部分退化，成为开发者必须面对的难题。针对这一挑战，某科技公司推出了一套系统化的评估框架，为智能体的持续优化提供了有力支撑。该框架的设计初衷源于对智能体开发过程中评估环节的深刻洞察。在早期开发阶段，人工测