🎧 语音播报
📰 国内新闻早报·2026 年09 月05 日
⏰ 统计时间：20:00-08:00
🔥 重磅：Anthropic称Claude完成费马大定理完整形式化证明
────────────────────
📋 详细新闻
🌍 国际局势
• 特朗普称可能很快打击伊朗镐山地区：美国总统特朗普9月4日在白宫表示，美军可能很快打击位于伊朗伊斯法罕省纳坦兹核设施附近的镐山地区，称美方掌握该区域所有人员动向，一旦情况不妙就会发动打击。 【M003】 【M007】
• 特朗普称将向乌克兰及北约追回援款：美国总统特朗普9月3日在社交媒体发文称，此前数千亿美元援乌及对北约相关投入被白白浪费，美国将向乌克兰及北约相关国家追回这笔援款，相关表态正值美伊冲突延宕、美军弹药短缺之际。 【M013】 【M038】
• 美伊霍尔木兹海峡对峙战火蔓延至海湾国家：美伊围绕霍尔木兹海峡对峙持续，伊朗3日打击科威特、阿联酋境内美军基地，战火蔓延至海湾国家本土；另有消息称美军巴林基地遭重创被迫放弃，美军面临严峻后勤补给考验。 【M014】 【M034】
• 特朗普特使将携方案访俄乌推动结束冲突：美国总统特朗普9月4日证实，将派特使威特科夫及女婿库什纳访问俄罗斯与乌克兰，携带结束俄乌冲突的方案，推动双方解决危机，两人近期将分赴莫斯科与基辅。 【M017】 【M019】
• 俄罗斯建二战胜利纪念碑遭日方交涉被拒：俄罗斯哈巴罗夫斯克9月4日揭幕纪念对日本军国主义战争胜利的二战结束纪念碑，碑体为15米高苏联士兵以枪托击碎相关标识的雕像，此前日本总领事馆要求修改碑文遭俄方拒绝。 【M025】 【M035】
🏛️ 国内政经
• 金塘海底隧道陆域段贯通创世界纪录：9月4日甬舟铁路金塘海底隧道陆域段贯通，该隧道全长16.18公里，为世界最长海底高铁隧道，设计时速250公里，为单洞双线结构，其中陆域段总长7.83公里，甬舟铁路通车后将缩短宁波至舟山通行时间。 【M073】
🚀 科技商业
• Anthropic称Claude完成费马大定理完整形式化证明：Anthropic宣布Claude耗时11天，将怀尔斯1995年的费马大定理证明转换为约1300万行Lean代码，完成首个可由计算机端到端验证的完整形式化证明，人类仅提供少量高层指导，成果已公开。 【M001】 【M008】 【M006】
• OpenAI发布GPT-6 Astra模型可直接操作电脑：OpenAI发布旗舰模型GPT-6 Astra，上下文窗口达105万token，核心能力从回答问题转向直接操作计算机与软件完成任务，已上线ChatGPT Work、Codex及API，率先向付费企业用户开放。 【M002】 【M011】 【M012】
• 特斯拉发布量产版Cybercab无方向盘出租车：特斯拉当地时间9月3日在得州奥斯汀发布量产版Cybercab无人驾驶出租车，为其首款无监督全自动驾驶量产车，采用双门双座布局，无方向盘踏板；发布后特斯拉市值单日蒸发约6778亿元人民币。 【M005】 【M010】
• 谷歌发布音乐AI模型Lyria 3.5接入Gemini：谷歌9月5日宣布将最新音乐生成模型Lyria 3.5接入Gemini应用及API，支持一键生成3分钟完整歌曲，标志着谷歌音乐AI从内部实验工具正式面向普通用户及开发者开放。 【M015】
• 联合国推动逐步弃用墨卡托投影地图：联合国大会9月4日通过决议，建议各国及相关机构逐步弃用已沿用457年的墨卡托投影世界地图，转向采用2018年推出的Equal Earth等面积投影地图，纠正传统投影的面积失真问题。 【M018】
• 华为何庭波更新韬定律论文披露芯片原理：华为半导体负责人何庭波9月4日在ChinaXiv发布预印本论文，解释堆叠芯片实现低功耗的韬定律底层原理，同时披露麒麟2026芯片实测数据，显示其晶体管密度较前代提升55%。 【M027】 【M031】 【M033】
• 微信开源多模态嵌入模型登顶权威榜单：微信开源通用多模态嵌入模型WeMM-Embedding，其中9B版本在权威多模态嵌入榜单MMEB-v2上以80.6分位列第一，2B版本得分77.9，超过此前领先的8B级开源模型，已部署于微信推荐与搜索系统。 【M030】
• 全球首款具身智能育种机器人吉儿2.0发布：全球首款具身智能育种机器人吉儿2.0在第三十三届中国北京种业大会发布，其柱头识别准确率约90%，单次巡航授粉成功率超82%，完成单朵花授粉仅需15秒，可大幅提升育种效率。 【M036】
• 新型鼻炎药物司普奇拜单抗纳入医保：针对中重度季节性过敏性鼻炎的新型药物司普奇拜单抗已纳入医保，该药物为全球相关领域唯一靶向生物制剂，可改善传统口服药、鼻喷激素药效不足的问题，惠及春秋季花粉症患者。 【M076】
📈 财经市场
• Anthropic推迟IPO目标估值2万亿美元：AI公司Anthropic将IPO时间推迟至美国中期选举前，最早10月中旬启动路演，目标估值2万亿美元，计划募资千亿美元，有望成为史上最大规模IPO之一，目前该公司已实现调整后营业利润。 【M009】
• 日本电机巨头尼得科被认定大规模造假：日本知名电机制造巨头尼得科被官方认定存在大规模造假行为，相关调查结果已对外公布，事件将对其全球供应链及企业信誉造成影响。 【M020】 【M029】
• 特朗普再次呼吁美联储降低利率：美国总统特朗普再次公开呼吁美联储降息，称8月美国新增就业16.2万个、数据远超预期，国家信用资质已大幅提升，高利率使美国在国际竞争中处于不公平劣势，要求美联储调整政策。 【M026】 【M051】
💡 社会民生
• 女童就医电子病历被标注刁蛮引发热议：广东湛江彭女士反映，5岁女儿在黄坡镇中心卫生院就医后，电子病历既往史栏被标注“刁蛮”，起因是彭女士咨询流程时与医生沟通不畅并表示要投诉，事件引发公众对医疗服务规范的讨论。 【M037】
• 网红零食可食用课本走红多地发预警：新学期以来，以糯米纸为原料、模仿课本外形的网红零食“可食用课本”在中小学生中走红，商家以“解压”“吃掉作业”为噱头销售，但多数商家回避产品合格证问题，多地已发布食品安全消费预警。 【M077】 【M080】
🎬 文化体育
• 摇滚歌手何勇去世曾为魔岩三杰之一：9月4日摩登天空发文悼念，知名摇滚歌手何勇于9月1日在北京去世，终年57岁。他与窦唯、张楚并称“魔岩三杰”，1994年香港红磡演出及首张专辑《垃圾场》成为中国摇滚经典记忆。 【M004】 【M032】
• 张雪机车包揽WSBK法国站排位赛前二：2026世界超级摩托车锦标赛法国站9月4日举行，中国厂商张雪机车车手德比斯夺得WorldSSP组别杆位，队友卡里卡苏洛位列第二，包揽该组别排位赛前两名。 【M016】 【M047】 【M062】
• 刀郎官宣9月12日举办山歌万里线上音乐会：歌手刀郎9月4日官宣，将于9月12日举办“山歌万里”线上音乐会，主题聚焦土地与民间歌唱，其此前线上演出曾吸引5200万观众在线观看，本次演出将面向全网观众免费开放。 【M053】
🔥 重点关注
────────────────────
📊 技术瓜实时监控：点击访问
💬 交流群：点击加入
🌐 网页版：点击阅读
⏰ 统计时间：20:00-08:00
🔥 重磅：Anthropic称Claude完成费马大定理完整形式化证明
────────────────────
📋 详细新闻
🌍 国际局势
• 特朗普称可能很快打击伊朗镐山地区：美国总统特朗普9月4日在白宫表示，美军可能很快打击位于伊朗伊斯法罕省纳坦兹核设施附近的镐山地区，称美方掌握该区域所有人员动向，一旦情况不妙就会发动打击。 【M003】 【M007】
• 特朗普称将向乌克兰及北约追回援款：美国总统特朗普9月3日在社交媒体发文称，此前数千亿美元援乌及对北约相关投入被白白浪费，美国将向乌克兰及北约相关国家追回这笔援款，相关表态正值美伊冲突延宕、美军弹药短缺之际。 【M013】 【M038】
• 美伊霍尔木兹海峡对峙战火蔓延至海湾国家：美伊围绕霍尔木兹海峡对峙持续，伊朗3日打击科威特、阿联酋境内美军基地，战火蔓延至海湾国家本土；另有消息称美军巴林基地遭重创被迫放弃，美军面临严峻后勤补给考验。 【M014】 【M034】
• 特朗普特使将携方案访俄乌推动结束冲突：美国总统特朗普9月4日证实，将派特使威特科夫及女婿库什纳访问俄罗斯与乌克兰，携带结束俄乌冲突的方案，推动双方解决危机，两人近期将分赴莫斯科与基辅。 【M017】 【M019】
• 俄罗斯建二战胜利纪念碑遭日方交涉被拒：俄罗斯哈巴罗夫斯克9月4日揭幕纪念对日本军国主义战争胜利的二战结束纪念碑，碑体为15米高苏联士兵以枪托击碎相关标识的雕像，此前日本总领事馆要求修改碑文遭俄方拒绝。 【M025】 【M035】
🏛️ 国内政经
• 金塘海底隧道陆域段贯通创世界纪录：9月4日甬舟铁路金塘海底隧道陆域段贯通，该隧道全长16.18公里，为世界最长海底高铁隧道，设计时速250公里，为单洞双线结构，其中陆域段总长7.83公里，甬舟铁路通车后将缩短宁波至舟山通行时间。 【M073】
🚀 科技商业
• Anthropic称Claude完成费马大定理完整形式化证明：Anthropic宣布Claude耗时11天，将怀尔斯1995年的费马大定理证明转换为约1300万行Lean代码，完成首个可由计算机端到端验证的完整形式化证明，人类仅提供少量高层指导，成果已公开。 【M001】 【M008】 【M006】
• OpenAI发布GPT-6 Astra模型可直接操作电脑：OpenAI发布旗舰模型GPT-6 Astra，上下文窗口达105万token，核心能力从回答问题转向直接操作计算机与软件完成任务，已上线ChatGPT Work、Codex及API，率先向付费企业用户开放。 【M002】 【M011】 【M012】
• 特斯拉发布量产版Cybercab无方向盘出租车：特斯拉当地时间9月3日在得州奥斯汀发布量产版Cybercab无人驾驶出租车，为其首款无监督全自动驾驶量产车，采用双门双座布局，无方向盘踏板；发布后特斯拉市值单日蒸发约6778亿元人民币。 【M005】 【M010】
• 谷歌发布音乐AI模型Lyria 3.5接入Gemini：谷歌9月5日宣布将最新音乐生成模型Lyria 3.5接入Gemini应用及API，支持一键生成3分钟完整歌曲，标志着谷歌音乐AI从内部实验工具正式面向普通用户及开发者开放。 【M015】
• 联合国推动逐步弃用墨卡托投影地图：联合国大会9月4日通过决议，建议各国及相关机构逐步弃用已沿用457年的墨卡托投影世界地图，转向采用2018年推出的Equal Earth等面积投影地图，纠正传统投影的面积失真问题。 【M018】
• 华为何庭波更新韬定律论文披露芯片原理：华为半导体负责人何庭波9月4日在ChinaXiv发布预印本论文，解释堆叠芯片实现低功耗的韬定律底层原理，同时披露麒麟2026芯片实测数据，显示其晶体管密度较前代提升55%。 【M027】 【M031】 【M033】
• 微信开源多模态嵌入模型登顶权威榜单：微信开源通用多模态嵌入模型WeMM-Embedding，其中9B版本在权威多模态嵌入榜单MMEB-v2上以80.6分位列第一，2B版本得分77.9，超过此前领先的8B级开源模型，已部署于微信推荐与搜索系统。 【M030】
• 全球首款具身智能育种机器人吉儿2.0发布：全球首款具身智能育种机器人吉儿2.0在第三十三届中国北京种业大会发布，其柱头识别准确率约90%，单次巡航授粉成功率超82%，完成单朵花授粉仅需15秒，可大幅提升育种效率。 【M036】
• 新型鼻炎药物司普奇拜单抗纳入医保：针对中重度季节性过敏性鼻炎的新型药物司普奇拜单抗已纳入医保，该药物为全球相关领域唯一靶向生物制剂，可改善传统口服药、鼻喷激素药效不足的问题，惠及春秋季花粉症患者。 【M076】
📈 财经市场
• Anthropic推迟IPO目标估值2万亿美元：AI公司Anthropic将IPO时间推迟至美国中期选举前，最早10月中旬启动路演，目标估值2万亿美元，计划募资千亿美元，有望成为史上最大规模IPO之一，目前该公司已实现调整后营业利润。 【M009】
• 日本电机巨头尼得科被认定大规模造假：日本知名电机制造巨头尼得科被官方认定存在大规模造假行为，相关调查结果已对外公布，事件将对其全球供应链及企业信誉造成影响。 【M020】 【M029】
• 特朗普再次呼吁美联储降低利率：美国总统特朗普再次公开呼吁美联储降息，称8月美国新增就业16.2万个、数据远超预期，国家信用资质已大幅提升，高利率使美国在国际竞争中处于不公平劣势，要求美联储调整政策。 【M026】 【M051】
💡 社会民生
• 女童就医电子病历被标注刁蛮引发热议：广东湛江彭女士反映，5岁女儿在黄坡镇中心卫生院就医后，电子病历既往史栏被标注“刁蛮”，起因是彭女士咨询流程时与医生沟通不畅并表示要投诉，事件引发公众对医疗服务规范的讨论。 【M037】
• 网红零食可食用课本走红多地发预警：新学期以来，以糯米纸为原料、模仿课本外形的网红零食“可食用课本”在中小学生中走红，商家以“解压”“吃掉作业”为噱头销售，但多数商家回避产品合格证问题，多地已发布食品安全消费预警。 【M077】 【M080】
🎬 文化体育
• 摇滚歌手何勇去世曾为魔岩三杰之一：9月4日摩登天空发文悼念，知名摇滚歌手何勇于9月1日在北京去世，终年57岁。他与窦唯、张楚并称“魔岩三杰”，1994年香港红磡演出及首张专辑《垃圾场》成为中国摇滚经典记忆。 【M004】 【M032】
• 张雪机车包揽WSBK法国站排位赛前二：2026世界超级摩托车锦标赛法国站9月4日举行，中国厂商张雪机车车手德比斯夺得WorldSSP组别杆位，队友卡里卡苏洛位列第二，包揽该组别排位赛前两名。 【M016】 【M047】 【M062】
• 刀郎官宣9月12日举办山歌万里线上音乐会：歌手刀郎9月4日官宣，将于9月12日举办“山歌万里”线上音乐会，主题聚焦土地与民间歌唱，其此前线上演出曾吸引5200万观众在线观看，本次演出将面向全网观众免费开放。 【M053】
🔥 重点关注
────────────────────
📊 技术瓜实时监控：点击访问
💬 交流群：点击加入
🌐 网页版：点击阅读