OpenAI宣布AI模型攻克卡凯亚猜想等三项基础科学难题
OpenAI宣布其模型取得三项突破：证明所有维度的局部平滑化猜想，从而推导出卡凯亚（挂谷）猜想在所有维度成立；证明指数时间假设（ETH）为假并完成Lean形式化；为四维杨-米尔斯理论存在性及量子色动力学构造严格数学证明。
推荐理由：原文梳理了AI在数学、计算复杂性、理论物理三项基础科学难题上的突破及验证机制变化，读者可据此理解AI科研对同行评审流程的冲击。
#C01 算法与数据安全
虎嗅精选推荐指数7575
AICSO.AI汇总精选推荐指数7070 Google DeepMind 论文披露 PyTorch、JAX 等框架 Softmax 数值 Bug，Gemini 参与发现与修复
Google DeepMind 首席研究科学家 Jonathan T. Barron 与 Dan Gnanapragasam、Michael Tschannen 提交论文《A Fix for Softmax and Cross-Entropy》（arXiv。
推荐理由：论文给出了具体临界值与修复公式，读者可据此判断自身训练配置是否踩中精度悬崖。
安全内参精选推荐指数7474 SPAR：用对抗式LLM交互从RFC萃取网络协议格式规范，挖出24个0-day
南京大学团队在USENIX Security '26发表SPAR，仅凭RFC文档通过双向对抗循环（以格式规范为预言机精化解析器、以解析器为预言机精化格式规范，收敛到不动点）自动生成语法与语义双精确的协议格式规范。
推荐理由：论文用对抗式LLM交互补上跨字段语义约束短板，并给出相对基线的召回提升与0-day发现数据，读者可据此评估该方法对协议漏洞检测的实际价值。