学科: 数学

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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