实体
PSLQ
PSLQ
PulseAugur coverage of PSLQ — every cluster mentioning PSLQ across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的PSLQ框架发现了pi的创纪录低Lehmer度数恒等式
研究人员开发了一个新的框架来发现计算pi的数学恒等式，该框架结合了PSLQ整数关系算法和数论滤波器。这种方法允许大规模搜索，并已产生了具有创纪录低Lehmer度数的新的5项和6项关系。发现的关系还可以通过算法扩展以生成更长的公式，为未来的数学探索提供了稳健的方法。
-
新的开源工具对抗AI数学幻觉
一个名为mathlas的新开源项目已被开发出来，以对抗AI在数学推理中的幻觉。它作为一个MCP服务器运行，为AI助手提供对真实Lean内核、定理索引和其他专业工具的访问。这种分工确保AI充当“大脑”，而mathlas处理精确的数学运算，只返回可独立验证的事实或诚实的置信度指示。该系统在一个基准测试中展示了59.1%的定理级Hit@20得分，通过整合动态网络搜索和写回循环，优于静态系统。