Agent: Cursor, GitHub CopilotLLM: Claude 3.5, GPT-4#formal-verification#mathematics#theorem-proving#research#lean
A groundbreaking formal verification project from Anthropic that provides a complete, machine-checked proof of Fermat's Last Theorem using Lean 4 and Mathlib. Demonstrates AI company capabilities in advanced mathematical reasoning and formal proof systems.