发生了什么？
作者报告称，基于 PSLQ 的自动扩充策略发现了 75 个此前未知的数学常数关系，其中包括首个连分数常数的新公式、新的对数公式，以及连接 π 与 e 的公式。
为什么重要？
该工作提供了一个区别于定理证明与语言模型基准的研究级自动数学发现案例，并把支撑这些发现的基础设施作为可复用的实验数学资源公开。
重要性说明：Ramanujan Library 将自动猜想工作从“为单个常数寻找公式”推进到“构建常数之间关系的结构化超图”；作者报告称，在系统构建与测试过程中自动得到数十个此前未知的常数关系。
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 论文已发布
- 证据等级
- E3 · 可检查工件
- AI 角色
- 仅计算支持
- 形式保障
- 有形式化工件
如何理解这些标签？ →
贡献与验证
- 数学新颖性
- 新结果
- 接口
- 符号, 数值
- AI 贡献
- 基于 PSLQ 的自动数值与符号搜索提出数学常数之间的候选整数关系；该事件并不依赖 LLM 或自主 Agent 进行语义层面的数学判断。
- 人类贡献
- 研究者设计常数关系的超图表示、发现与筛选流程，维护常数数据库，分析自动生成的关系，并整理数学结论与软件基础设施。
- 验证状态
- 论文已发布 · E3 · 可检查工件 · 有形式化工件
- 最后审阅
- 2026-09-11
技术细节
- 系统
- ramanujan-library, lirec
- 机构
- ramanujan-machine, technion
- 数学问题
- mathematical-constants, integer-relations
- 方法
- pslq, integer-relation-detection, automated-discovery, hypergraph
