学科: 数学

科学家提出一种叫‘磨光层’的新AI方法，不靠堆算力，而是改进数学计算方式，更稳定、更省电地从观测数据反推隐藏的科学规律（如基因调控机制、天气成因等），让AI真正帮人类读懂复杂自然现象。

标签: 反问题偏微分方程 染色质结构 磨光层 自动微分 表观遗传调控

线粒体不仅是细胞的‘能量工厂’，还能通过脱落外膜形成新细胞器，参与免疫反应；婴儿乳牙像树轮一样记录孕期至幼年金属暴露史，影响脑发育；AI正推动数学本质的反思；中美科研转化与针灸科学化研究也取得新进展。

标签: 世界模型-生成式AI-机器人化学家 乳牙-金属暴露-神经发育 人工智能-数学证明-菲尔兹奖 线粒体-细胞器-演化 针灸-穴位-结缔组织

本文探讨人工智能（尤其是大语言模型）如何正在改变数学研究的方式。数学家陶哲轩指出，AI虽不能替代人类数学家，但已成为辅助证明、检验猜想和激发新思路的实用工具；关键在于以人为本地接纳技术，而非被动接受其逻辑。

标签: 人工智能与数学 人机协作研究 大语言模型 数学证明验证 陶哲轩

刚果（金）暴发的新猴痘病毒Ib分支疫情正向全球蔓延。研究发现，其传播主渠道会随时间从性接触转向非性密切接触（如家庭、社区），导致疫情规模扩大；不同年龄段的感染和死亡主力也会随之变化。因此，防控重点人群需动态调整。

标签: 传播路径切换 年龄特异性防控 性接触传播 猴痘病毒Ib分支 非性密切接触传播

科学家首次绘制出小鼠大脑中星形胶质细胞的全脑三维网络图，发现这些非神经元细胞能远距离传递分子，宛如大脑里一条‘隐形地铁系统’，为理解脑功能和疾病开辟新方向。

标签: 咖啡与肠道菌群 星形胶质细胞网络 物种保护命名争议 绳结拓扑不变量 食土行为

墨西哥数学家拉斐尔·普列托-库里埃尔用数学模型首次量化了本国贩毒集团的规模：2022年约17.5万人参与其中，使其成为全国第五大雇主。该研究揭示，单纯靠抓人判刑无法遏制暴力，而阻断 recruitment（招募）才是更有效的治本之策。

标签: 公共安全 墨西哥贩毒集团 数学建模 有组织犯罪 犯罪预防

桑迪亚国家实验室科学家开发出一种新算法，使类脑硬件能高效求解偏微分方程，有望催生节能的类脑超级计算机，助力国家安全等关键领域。

标签: 偏微分方程 国家安全 类脑硬件 类脑计算 节能计算

近日，人工智能初创公司Axiom的AI工具AxiomProver成功解决了多个长期未决的数学难题，包括陈-金德隆猜想等，展现了AI在数学领域能力的稳步提升，其技术未来或在网络安全等领域有应用价值。

标签: AI数学证明 AxiomProver 人工智能辅助数学 数学猜想 未解决数学问题

大型语言模型能力快速提升，现有测试基准难度不足（如MMLU准确率超90%）。为此，研究人员推出“人类终极测试”（HLE），含2500道多学科专家级题目，覆盖数学、人文等，现有模型表现差，凸显能力差距，已公开供研究。

标签: 专家级评估 人类终极测试 多模态问题 大型语言模型 能力基准

美国数学家格拉迪斯·梅·韦斯特因在GPS系统方面的开创性工作闻名。作为非裔美国女性，她克服重重障碍，为这一关键技术及20世纪中期美国冷战科技繁荣做出贡献，于95岁逝世。

标签: GPS系统 SEASAT卫星 大地地球模型 格拉迪斯·梅·韦斯特