标签: 人工智能与数学

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

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

中国初创公司正加速研发脑机接口（BCI），帮助瘫痪者用意念控制家电、实现中文语音解码；科学家紧急测试埃博拉新疗法；一家公司推出人工蛋，尝试复活已灭绝鸟类；AI正在改变数学研究方式；新书展现鸟类保护成效与智慧；‘增强版奥运会’引发对体育伦理的反思。

标签: 人工智能与数学 儿童友好城市 埃博拉病毒治疗 脑机接口

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

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