Kevin Buzzard's Jacobian challenge: can AI formalize math alone?

Sep 19, 2026 · 2:19 · 91 views · Watch on YouTube

Description

Segment from the September 10, 2026 AI Tools Chat.

Weekly at 6pm EST: https://tangentcode.com/ai-tools-chat