学科: 数学

科学家在中国钱币植物的叶片上首次发现天然的维诺图（Voronoi）几何结构——一种类似学校学区划分的空间分区模式。这种无需大脑或测量、仅靠局部生物反应就能自组织形成的数学规律，揭示了植物如何用简单机制解决复杂问题。

标签: 中国钱币植物 叶脉发育 天然算法 植物数学模式 维诺图

本期《自然》播客介绍多项有趣研究：手机摄像头可测心率；流浪恒星横穿银河系；金的光泽源于表面化学特性；数学能帮你决定餐厅点新菜是否划算——费曼50年前提出的‘餐厅难题’，最新研究证实其正确。

标签: 手机心率检测 流浪恒星 费曼餐厅难题 金的表面化学 餐厅决策数学

荷兰莱顿市发布《莱顿人工智能与数学宣言》，呼吁在数学研究中负责任地使用AI：坚持人类判断、透明度和公平性，确保成果可验证、可理解、不依赖专有技术。

标签: 人工智能与数学 开放科学 莱顿宣言

本文提出‘量子范式约简’新方法，用量子计算机高效处理等式推理问题。传统方法因等价表达式数量爆炸式增长而失效，而该方法将整个等价类编码为一个量子叠加态（轨道态），从而一次性处理海量等价表达式。实验模拟显示，它能轻松处理多达10²⁸个等价字符串，远超经典算法极限。

标签: 字问题 张量网络 等式推理 轨道态 量子范式约简

人工智能首次接受严格数学能力测试：4个AI模型挑战10道全新研究级数学题，最高仅答对6题。结果表明，当前AI尚无法媲美顶尖数学家的解题能力。

标签: AI模型评测 First Proof测试 人工智能数学能力 数学证明辅助 研究级数学问题

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

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

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

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

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

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

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

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

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

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