Skip to main content
株式会社オブライト

Articles tagged "Lean"

1 article

AI2026-08-01
Lean 4 Explained: The Theorem Prover Powering AI Math
Lean 4 is a proof assistant that verifies proofs by compiling them. In 2026, AI-Lean pairs such as AlphaProof Nexus and Gauss delivered striking new results.
LeanAI