Lean Proofs AI Prompts & News

Every lean proofs prompt and article published on Prompt Mandi — copy-ready, free to use, and shareable. 0 prompts and 1 article tagged #lean-proofs.

Lean Proofs AI news

OpenAI Publishes 722 AI-Generated Math Results

News

Oct 7, 2026 · 2 min read

OpenAI Publishes 722 AI-Generated Math Results

OpenAI has released 722 mathematical manuscripts from an internal frontier model, including many Lean-formalized proofs that can be checked by computers.

by gangothrinomula1203Read →