Lean

1 post
2026

Lost in Translation: Why a Green Lean Build Doesn't Prove Your AI-Formalized Proof

TL;DR There’s a new trend in AI and math: take a proof written by a human (or by an AI), ask an AI to rewrite it in Lean, a …
ai lean formal-verification llm mathematics
Read more
All Tags Back to Home