mathematical-analysis

本文对雅可比镜头（J-lens）用于从语言模型中读取可语言化表示进行了数学分析，识别了其稀疏因果几何结构，并提出了改进措施以增强概念读取能力。

本文从数学角度探讨人工智能对齐的困难，指出神经网络通过病态反问题推断、无属性数值计算和满秩变换等特性，使得人类价值难以被明确规定和准确表征，从而阐明对齐问题的数学本质。

This article presents a mathematical perspective on why modern neural networks accommodate diverse architectures and attention mechanisms, framing them as different implementations of constraints within a learnable numerical system.

MA-ProofBench是一个新的形式化基准，用于评估LLMs在数学分析中的定理证明能力，包含200个问题，分为两个难度级别。最佳模型GPT-5.5在Level I上仅达到16%，在Level II上为5%，突显了非形式化推理与形式化推理之间的显著差距。

一篇个人博客文章，严谨地介绍黎曼积分并证明微积分基本定理，包含罗尔定理和均值定理等支撑定理。