Conway knots and AutoFormBot: teaching AI to write Lean proofs

Sep 19, 2026 · 1:55 · 144 views · Watch on YouTube

Description

Segment from the September 10, 2026 AI Tools Chat.

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