bluesky — CoreTechDaily | Daily Tech News — 13 Sep 2026

How Claude AI Formalized Fermat’s Last Theorem in 11 Days with 13 Million Lines of Code

#ai-assisted-mathematics #formal-verification

Read the source →