学科: 数学

本文介绍多项前沿科学进展：用基因疗法‘逆转’细胞衰老治疗青光眼；核聚变发电是否真正实现；欧洲推动科技自主以减少对美依赖；用X射线激光破解水结冰奥秘；重新认识阳光的健康益处；以及AI如何辅助而非取代数学研究。

标签: 人工智能与数学 核聚变能源 相变物理 科技主权 细胞重编程

人工智能正在成为数学和理论物理研究的得力助手，而非替代者。它能自动验证证明、寻找反例、提出中间步骤，大幅提高研究效率。本文介绍AI在解决经典难题、辅助猜想生成、形式化推理等方面的最新进展，并探讨人类科学家如何与AI协同工作。

标签: 人工智能辅助数学 人机协同科研 形式化证明 数学猜想生成 理论物理与AI

人工智能正在成为数学和理论物理研究的得力助手，而非替代者。它能自动验证证明、寻找反例、提出中间步骤，大幅提高研究效率。本文介绍AI在解决经典难题、辅助猜想生成、形式化推理等方面的最新进展，并探讨人类科学家如何与AI协同工作。

标签: 人工智能辅助数学 人机协同科研 形式化证明 数学猜想生成 理论物理与AI

美国OpenAI公司用AI聊天机器人破解了80年未解的几何难题——‘单位距离问题’，推翻了数学家埃尔德什1946年提出的猜想。该成果经独立数学家验证，是首个由AI自主完成的重要数学突破。

标签: 人工智能数学发现 代数数论 单位距离问题 埃尔德什猜想 自主推理

17岁英国少年利亚姆·普赖斯借助ChatGPT，首次用全新思路解开了数学家埃尔德什1966年提出的难题#1196，引发学界关注：AI正从算力工具升级为能提出原创数学洞见的‘合作者’。

标签: 人工智能数学 埃尔德什问题 大语言模型 数学证明 本原数集

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

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

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

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

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

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

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

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

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

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