ByteBrief
Skimming the internet so you don't have to
Anthropic: Claude formalizes Fermat proof in Lean - the story so far | ByteBrief