bluesky — GrowthZoneAI — 13 Sep 2026
Claude proved Fermat's Last Theorem this week, unsolved for 358 years, thirteen million lines of proof. It only counts b…
#ai-mathematics-interaction
Claude proved Fermat's Last Theorem this week, unsolved for 358 years, thirteen million lines of proof. It only counts because a mathematician at Imperial College London checked it line by line. Not AI replacing judgement, AI alongside it, with a human still saying yes.