• 美国国家科学基金会（NSF）社会科学学部今年新发放资助数量较往年平均锐减90%，并流失了三分之二的人员。
• DeepMind团队推出的AlphaProof Nexus大模型框架，成功自主证明了9个未解决的埃尔德什数学难题（其中2个悬而未决达56年）。
• 日本气象与航天机构即将执行的MMX任务计划在火卫一（Phobos）着陆两次并采集样品，以揭示其形成机制与火星演化史。
• Sungu等人针对课堂禁手机政策开展大规模实验，结果表明无手机课堂能显著提升学生成绩，且对低分段学生的提分效果最突出。
• Shanks等人在人类群体遗传学研究中发现，从法属波利尼西亚到拉帕努伊与夏威夷的扩展过程中存在重叠的创始人瓶颈效应。
🔬 编辑洞察
• 本期选题高度聚焦“AI与技术政策对人类智力活动的重塑”，从数学自动证明到课堂手机禁令，体现出编辑部在技术狂潮中反思科研范式与公共教育的审慎立场。
• AlphaProof Nexus研究具有极高的范式意义，其核心突破在于证明了“大语言模型+形式化验证”能彻底消除AI幻觉，推动数学研究从人工推演跨入“人机联合验证”新阶段。
• 报道NSF大幅削减社科资助揭示了美科研体制内部的政治与财政危机，但文章偏重于学者阵营的单向呼吁，缺乏对项目投入产出效益与公信力下降的客观反思。
对读者的影响
• 读者来信专栏关注中国“垃圾填埋场开采”（Landfill Mining）及老旧填埋场治理，呼吁在资源回收与焚烧发电扩张中加强对生态毒性与碳排放的精细化监管。
• AI形式化定理证明与量子计算等前沿突破，凸显了中美在通用人工智能与量子信息基础研究领域的竞争加速，对中国高校与科研机构的学科建设方向具有直接借鉴意义。
• 美NSF社科基金的大幅削减及人文社科政策动向，预示着海外学术交流环境与留学资助紧缩，对中国留学者及跨国学术合作项目带来潜在冲击。
💡 读者价值
• 科研与AI从业者：可借鉴AlphaProof Nexus将大模型与形式化验证结合的思路，提升复杂逻辑推演与代码验证的准确度。
• 教育政策制定者：可依据大规模“无手机课堂”实验的定量数据，为评估与出台校园电子设备限制政策提供实证支撑。
• 环保与能源企业：可关注垃圾填埋场资源化开采的风险评估建议，在推进循环经济与垃圾焚烧发电时加强二次污染防控。
📥 下载 · 📌 置顶