• AlphaProof Nexus框架结合LLM与Lean验证，攻克了353个开放性埃尔德什问题中的9个，其中2个悬决达56年。
• 美国家科学基金会社会科学学部2026财年新设资助骤降90%（仅91项），流失三分之二员工，资金全面向AI等领域倾斜。
• Sungu等人在大规模课堂实验中证明禁用手机能显著提升成绩，且对低表现学生的边际改善最大。
• 日本MMX任务拟两次着陆火卫一，通过采回样品揭示其形成机制与火星演化线索。
• 学者来信关注中国垃圾填埋场治理，建议建立规范防范垃圾矿开采风险并评估气候威胁。
🔬 编辑洞察
• 本期呈现强烈的“AI重塑科学范式”导向，将机器定理证明置于战略位置，折射出顶刊对AI从辅助工具转向研究主体的学术背书。
• NSF社科资助锐减报道揭示了预算再分配下“重硬轻软”的生态失衡，对全球科研政策与人文学科保障具有深刻警示意义。
• 课堂禁手机研究虽具规模效应，但将其简单归因于硬件干扰，低估了数字教学工具的积极价值，存在政策推论偏向。
• 重新审视富兰克林对DNA发现贡献的文章，反映出科学史界修正“男性英雄叙事”的努力，意在重塑学术评价公平性。
对读者的影响
• 本期直接刊登了关于中国垃圾填埋场治理与垃圾矿开采的读者来信，提示中国环境治理需将遗留填埋场的气候与环境风险提升至政策维度。
• 针对大模型生成低质论文导致arXiv实施限制（作者每月限投2篇）的政策变更，将直接影响中国高产科研团队的预印本发布节奏与学术传播策略。
• AI自动定理证明在数学领域的突破，对中国高校与科研机构推进“AI for Science”及基础学科交叉人才培养提供了关键的方向参考。
• 美NSF社科资金向AI与认知科学大幅倾斜，反映出美方科研资源再配置趋势，中国科学界需警惕基础人文社科研究投入失衡的潜在风险。
💡 读者价值
• 基础学科学者/科研管理者：可借鉴AlphaProof Nexus等AI定理证明框架，加速复杂数学猜想推演并优化交叉学科布局。
• 教育政策制定者/校长：可参考大规模无手机课堂的实验数据，在制定校园数字设备管理政策时平衡教学专注度与工具利用效率。
• 环保技术企业/投资者：可关注垃圾填埋场开采与遗留治理相关研判，提前布局环境修复与资源循环利用的市场技术需求。
📥 下载 · 📌 置顶