谷歌AI智能体写出180万行证明代码：1974年证完的韦伊猜想被机器从头验了一遍 ↗
谷歌研究院11月13日介绍，多智能体系统/teamwork-LEAP约2.88万次子智能体调用，自主完成韦伊猜想约180万行Lean代码的机器验证，还首次形式化伯克霍夫猜想、补上一份新近证明的漏洞，并与港中大等团队证明Courtade–Kumar猜想。
科学研究
谷歌DeepMind开放天气AI背后的两套数据：用一颗卫星的稀疏雷达“教会”AI画出全球每15分钟的降雨图 ↗
谷歌DeepMind公开了支撑WeatherNext 3天气模型的两套数据集：把六颗静止气象卫星拼成全球每小时云图的SatWeave，以及用AI从稀疏的太空雷达观测推算出全球约10公里、每15分钟一张降雨图的PARDIG。两者都免费开放，PARDIG的历史记录可以追溯到1999年。
宇宙“灯塔”每7.9分钟闪一次：天文学家首次发现绕类太阳恒星运行的白矮星发出规律射电脉冲 ↗
澳大利亚科廷大学ICRAR团队在《自然·天文学》发表研究，报告了射电源GPM J071507−114153：一颗每约7.9分钟发出一次射电脉冲的白矮星，与一颗类似太阳的G型恒星组成双星，约1.3天绕转一圈。这是首次在白矮星与类太阳恒星的组合中探测到这类脉冲，为破解“长周期暂现源”之谜提供了新线索。
欧几里得望远镜交出首批大规模宇宙地图：超过9亿个星系，这还只是总计划的14% ↗
欧洲航天局于北京时间11月12日19:00公布欧几里得空间望远镜首批大规模数据DR1-Foundation，覆盖约13个月观测、相当于9500个满月大小的天空，包含超过9亿个星系、约1.5万个强引力透镜候选体，数据量约170万GB。完整的第一批数据将在2027年年中补充。
4名澳大利亚研究人员独立“重拍”了那张黑洞照片：环状阴影还在，不是处理出来的假象 ↗
2019年，事件视界望远镜团队公布了人类第一张黑洞照片，也就是M87星系中心那圈发光的环。但有人一直担心：这会不会是稀疏数据和后期处理“做”出来的？澳大利亚联邦科学与工业研究组织（CSIRO）的4名研究人员11月12日介绍，他们用一套名为GenDIReCT、不预设黑洞长什么样的新成像方法，重新分析了当年的公开数据，再次得到了几乎同样大小和形状的环。相关论文已发表于《自然》。
AI拿下物理千禧难题的“前半题”？专家组认为OpenAI证明了杨-米尔斯理论“存在”，但最难的“质量间隙”仍未解决 ↗
杨-米尔斯理论是描述基本粒子之间作用力的数学地基之一，但它在数学上到底能不能被严格“搭”出来，几十年来一直没人证明；连同更难的“质量间隙”，它是克莱数学研究所悬赏的千禧年难题之一。由诺贝尔奖得主戴维·格罗斯主持的工作组于美国时间11月10日夜里公开评估：他们认为，OpenAI 10月28日提交、可由计算机逐步核验的Lean证明，已经证明了纯杨-米尔斯理论“存在”。但工作组明确写道：质量间隙没有被证明，千禧年难题并未完整解决，而且他们“还不声称已经完全理解这份证明”。