实体
Lean Theorem Prover
Lean Theorem Prover
PulseAugur coverage of Lean Theorem Prover — every cluster mentioning Lean Theorem Prover across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
AI模型Gauss助力Viazovska的八维球体填充问题解决方案形式化
八维空间中的球体填充问题，由Viazovska于2016年首次解决，现已达到一个重要的形式化里程碑。Hariharan和Viazovska于2024年3月启动的一个项目，成功使用Lean Theorem Prover验证了该解决方案。该验证的最后阶段于2026年2月完成，Math, Inc.的“Gauss”自动形式化模型提供了协助，这凸显了独特的人工智能与人类协作。
-
AI 系统使用 Lean 验证证明在 IMO 级别数学中实现 100% 正确性
六个 AI 系统在 2025 年利用 Lean 验证证明，在 IMO 级别数学问题上取得了满分。这一突破得益于高度严格的验证过程，确保了 AI 解决方案的绝对正确性。此次成功凸显了从人类反馈中强化学习 (RLHF) 与严谨验证方法相结合的潜力。