LeanMarathon: Autonomous Formalization of Math Proofs on Erdős Problems

from Embodied AI 101 · host Shaoqing Tan

Presents an autonomous system for formalizing mathematical proofs, specifically targeting Erdős problems. Demonstrates automated proof formalization capabilities in the Lean theorem prover.

Episode metadata supplied by the publisher feed · Published Jun 8, 2026

Embed this episode

Attribution link and audio player

NOW PLAYING

LeanMarathon: Autonomous Formalization of Math Proofs on Erdős Problems

0:00 27:22

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

CISO Perspectives (public) N2K Networks This season on CISO Perspectives, host Kim Jones explores some of the challenges of leading through uncertainty. We explore the complexity of the changing nature of regulation and working with the federal government, the evolution of privacy and fraud, and how emerging technologies like AI and quantum computing are changing cyber. When you don’t know what questions to ask, you’re afraid to ask, or don’t know who to ask, CISO Perspectives provides the foundation for learning in this brave new world.

Frequently Asked Questions

How long is this episode of Embodied AI 101?

This episode is 27 minutes long.

When was this Embodied AI 101 episode published?

This episode was published on June 8, 2026.

Can I download this Embodied AI 101 episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!