大型语言模型的「推理能力」现在成了NLP皇冠上的明珠，其核心难题在于「缺乏高质量训练数据」，标注数据需要领域专家，成本非常高昂且难以扩展；现有高等数学论文和定理的数量也非常有限，远少于其他任务的数据源。

电动汽车行业的快速发展离不开技术的飞速进步。电池技术从磷酸铁锂到固态电池，从300Wh/kg到900Wh/kg，能量密度大幅提升。快充技术的突破让充电时间从小时级到分钟级，充电基础设施网络不断完善。智能化技术的融合，使得电动汽车不仅是工具，更是智能终 ...

上次是论文，两家几乎前后脚放出改进版的注意力机制，可参考《撞车 DeepSeek NSA，Kimi 杨植麟署名的新注意力架构 MoBA 发布，代码也公开》、《刚刚！DeepSeek 梁文锋亲自挂名，公开新注意力架构 NSA》。

形式化数学是指使用严格的数学语言和逻辑系统来描述和推理数学概念、定理和证明的过程。著名数学家陶哲轩就认为，形式化数学和AI的结合将使数学研究更加高效、协作和规模化。他乐观地预测，未来数学家可以在AI的辅助下，一次性证明数百或数千条定理。

厦门又有一名学生被英国剑桥大学数学专业预录取他叫朱筠哲来自厦门英才学校朱筠哲小学：厦门英才学校初中：厦门英才学校高中：厦门英才学校厦门英才学校近日发布消息，该校朱筠哲同学被剑桥大学预录取，他从小学一年级就在英才学校就读。剑桥大学预录取又叫“有条件录取 ...

研究者发现 Adam 和 AdamW 的一个重要特性是，它们将更新的 RMS 维持在 1 左右。然而，月之暗面发现 Muon 更新 RMS 会根据参数矩阵形状的变化而变化，具体如下引理 1 所示： 为了在不同形状矩阵之间保持一致的 RMS 更新，该研究通过 来扩展 Muon 矩阵更新，从而抵消 ...

为解决非线性椭圆方程数值求解难题，巴基斯坦阿伯塔巴德科技大学等单位研究人员开展多孔介质流相关研究。他们用区域分解和砂浆混合法得出离散解存在唯一及误差估计等结果，对多孔介质流研究意义重大，推荐阅读。 在科学研究的广阔天地里，非线性偏 ...

数学课里充满了命题，它们以不同的名字露面，如定理、引理和推论，但所有的命题都是基于概念的定义，因此要懂得命题的假设和结论，首先要懂命题中出现的所有新老数学概念。如同学生学好数学最重要的是完全理解概念，教师教好数学最重要的是清楚解释 ...

这个庞大的理论涉及到非常多的定义、引理和定理，我们如何管理它们之间的相互关系？ 陶哲轩在他的PFR项目中已经演示了Lean blueprints带来的工作 ...