PulseAugur
中
实时 08:07:32
实体 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.

Show in brief
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
最近 · 第 1/1 页 · 共 2 条
  1. RESEARCH · CL_06995 ·

    AI model Gauss helps formalize Viazovska's 8D sphere packing solution

    The sphere packing problem in dimension 8, famously solved by Viazovska in 2016, has reached a significant formalization milestone. A project launched in March 2024 by Hariharan and Viazovska successfully verified the s…
  2. RESEARCH · CL_05394 ·

    AI 系统使用 Lean 验证证明在 IMO 级别数学中实现 100% 正确性

    六个 AI 系统在 2025 年利用 Lean 验证证明，在 IMO 级别数学问题上取得了满分。这一突破得益于高度严格的验证过程，确保了 AI 解决方案的绝对正确性。此次成功凸显了从人类反馈中强化学习 (RLHF) 与严谨验证方法相结合的潜力。