EPISODE · Sep 8, 2026 · 9 MIN
AI agents can now formalize theorem proofs and run businesses — but OpenAI warns monitoring their reasoning is hitting hard limits
from Onpode
In a development dated to approximately September 2026, Anthropic's Claude agents reportedly formalized Fermat's Last Theorem in the Lean proof assistant after roughly 11 days of largely autonomous work.
Embed this episode
Ready to play
AI agents can now formalize theorem proofs and run businesses — but OpenAI warns monitoring their reasoning is hitting hard limits
0:00
9:37
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Onpode?
This episode is 9 minutes long.
When was this Onpode episode published?
This episode was published on September 8, 2026.
Can I download this Onpode episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!