Theorem-Proving

7 pages

• 137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的

  source
  2026-04-20
• AlphaGeometry

  entity Updated 2026-07-08
  wiki
• AlphaProof

  entity Updated 2026-07-08
  wiki
• Axiom Prover

  entity Updated 2026-07-08
  wiki
• Interactive Theorem Proving

  concept Updated 2026-07-08
  wiki
• Lean Theorem Prover

  entity Updated 2026-07-08
  wiki
• Mathlib

  entity Updated 2026-07-08
  wiki