OpenAI 称模型否证指数时间假设、待外部核查；Anthropic 递交上市文件，Meta 拟发股融资 950 亿美元；科学栏看三叠纪海生两栖类，抗衰栏看小腿围与跌倒。
本栏只摘 2–3 条，完整版见 今日 AI 日报。
OpenAI 10 月 26 日（美国时间）发文：内部模型 10 月 16 日写出 ETH 的否证，次日完成 Lean 形式化；如果成立，3-SAT 存在亚指数时间算法，但不等于 P=NP，实际提速还需大量研究。
数学：模型证明了所有维度的局部光滑化猜想，进而推出所有维度的 Kakeya 猜想和 Stein 限制猜想，论文与 Lean 证明已公开。 物理：模型给出四维量子色动力学及一种大统一理论存在性的严格证明，其中包含纯 Yang–Mills 理论的存在性。
若 ETH 否证成立，几百篇依赖它的复杂度下界要重新审视。【分析】
三位核查人对 ETH 否证的首轮结论。
来源OpenAI · The Next Web · Science
10 月 26 日公开递交，主承销商为高盛、摩根士丹利；发行股数和价格区间未定。美联社称最快下月上市。
CNBC 摘录招股书：上半年收入 162.9 亿美元，隐含毛利率约 85%；净亏损 807 亿美元，其中约 720 亿是可转债估值变动的会计费用；截至 9 月 30 日有 5,300 名员工，9 月代码库超九成贡献由 Claude 写成。
前沿实验室的收入、毛利和算力账第一次经审计公开，可直接对照 OpenAI 和云厂商的说法。【分析】
10 月 26 日上线 ChatGPT Work、Codex 和 API，定价每百万 token 输入 1 美元、输出 5 美元，比 GPT-5.6 Terra 和 GPT-6.1 Sol 低一半。
OpenAI 自测：Agents' Last Exam 中等推理档比 GPT-5.6 Terra 高 15 个百分点、成本约三分之一，与 GPT-6 Astra 持平；最高档单任务成本约为 Claude Opus 5.5 的九分之一。Terminal-Bench 4.0 解题率 50.3%。
中档模型的网络安全能力也达到最高风险级别，防护压力从旗舰模型下沉。【分析】
来源OpenAI
贵州省地质博物馆、北京大学与加州大学戴维斯分校团队描述新种 Gerrothorax maritimus：体长约 74 厘米、全身披甲，据摘要为首个完全海生的两栖类。
依据是两具近乎完整的骨架埋藏地远离当时陆地，骨骼锶同位素与同期海水一致。作者认为全身甲片限制皮肤交换盐分，迫使其靠鳃和肠道调节。局限：仅两件标本，海生判断依赖间接证据。
现生 8,000 多种两栖动物无一完全海生，若成立将改写两栖类入海的认识。
据 Phys.org 报道，团队在神光-II 激光装置上用波纹靶面诱发不稳定性，推动反向磁场重联，电子温度达约 82 万开，约为平面靶的两倍。
论文发表于《物理评论快报》（PRL）。实验重现了日冕雨中的指状结构；模拟显示重联电流层的电阻加热远大于黏滞加热。局限：等离子体仅毫米级，能否解释日冕整体加热仍未知。
日冕加热是太阳物理老问题，这是不稳定性驱动纳耀斑加热的首个实验演示。
白矮星 WD J1328–1450 的钙、氧发射线呈四峰，而已知 21 个白矮星气体盘都是双峰，说明它周围有两个分开的气体环。
内环约 0.14–0.34 个太阳半径，外环约 0.54–1.93 个太阳半径，谱线两年多未变。作者推测两环由两颗几公里到冥王星大小的天体维持。局限：天体本身未被直接看到。
恒星死亡后行星系统如何残存缺少样本，双盘结构对现有碎屑盘模型提出新挑战。
微软 10 月 26 日推出「自愿离职方案」，面向美、加、印、英部分团队 70 级及以下员工；公司向 TechCrunch 确认人数约 6 万。
条件与标准遣散方案相近。彭博称 Xbox、Windows、Copilot 和财务部门参与，数据中心、销售等岗位不在内。微软 6 月底员工 22.3 万人，今年早些时候的退休方案有逾三成符合条件者接受。
用自愿离职代替大规模裁员，在 AI 投入高企时压缩人力成本；公司称裁员仍是选项之一。
来源微软官方博客 · TechCrunch
先承销公开发行募资 350 亿美元，再通过「按市价发行」（at-the-market）筹 600 亿美元；英伟达、AMD、博通有意认购最多 50 亿美元。
资金用于 AI 基础设施、「个人超级智能」、AI agent Muse 和数据中心业务。Meta 称会搭配经营现金流、投资级债务和合作方资金。公告后股价早盘跌 1.6%。
10月22日：Meta 发三季报，称将发无投票权股筹资。
芯片供应商反过来认购客户股票，AI 基建的资金链绑得更紧。
来源CNBC · The Guardian
北京大学等用中国老年健康影响因素跟踪调查 7,068 名 60 岁以上社区老人：小腿围相对减少 20% 以上者，跌倒几率比未减少者高 48%。
平均年龄约 80 岁，三年内 23.6% 报告跌倒；小腿围每减 1 厘米，跌倒几率高约 3%，80 岁以上和女性更明显。局限：观察性研究，跌倒靠自报，无法区分肌肉流失与水肿，可能有反向因果。
一把软尺就能量，可作社区筛查跌倒风险的低成本指标。
南加州大学团队给老龄大鼠用实验药 cinaciguat 两周，肝窦内皮细胞重新开孔，血中 β 淀粉样蛋白降一半、回到年轻鼠水平，低密度脂蛋白也同步下降。
机制：药物激活可溶性鸟苷酸环化酶，促使内皮细胞释放生长因子 HB-EGF，让肝细胞多摄取两种分子。局限：仅大鼠实验，尚未检验能否预防阿尔茨海默病或动脉硬化。
提示可从肝脏而非大脑入手清除 β 淀粉样蛋白，绕开血脑屏障。