Claude formalized Fermat's Last Theorem in 11 daysanthropic.com2 points·fourfire··1 commentOpen articleSaveView on HN