https://ai-mathematician.net/zh/publications/论文的最新内容，来自AIM BlogHugozhhttps://arxiv.org/abs/2505.22451Wed, 28 May 2025 00:00:00 +0000https://arxiv.org/abs/2505.22451论文提出 AIM，一个面向前沿数学研究的大推理模型智能体框架，结合长程探索轨迹和面向验证的机制来处理研究级证明任务。https://arxiv.org/abs/2606.24899Fri, 12 Jun 2026 00:00:00 +0000https://arxiv.org/abs/2606.24899论文呈现一个人机协同发现案例：AIM 支持路线探索、定理形成、推导生成与审计流程，并参与推动面向矩阵方程和矩阵函数的符号嵌入量子算法研究。https://arxiv.org/abs/2511.21522Wed, 26 Nov 2025 00:00:00 +0000https://arxiv.org/abs/2511.21522论文研究面向开放式数学证明的悲观验证流程：只要任一验证器发现关键错误，就拒绝该证明。https://arxiv.org/abs/2510.26380Thu, 30 Oct 2025 00:00:00 +0000https://arxiv.org/abs/2510.26380论文通过均匀化理论案例展示 AIM 辅助推理与人工定向干预如何支持完整数学证明的形成。https://arxiv.org/abs/2508.18914Tue, 26 Aug 2025 00:00:00 +0000https://arxiv.org/abs/2508.18914论文提出 FormaRL，一个利用无标注数据、Lean 语法检查和大模型一致性检查提升自动形式化准确率的强化学习框架。