Yad Konrad

Lean 4 formalization workflow for Erdős problem proofs, enabling rigorous mathematical verification.

Library of mathematical proof techniques for solving Erdős problems in various domains.

Explore and tackle 1,179 open mathematical problems posed by Paul Erdős using AI agents.

Structured workflow for tackling Erdős problems using AI insights.