Anthropic melder at Claude har bidratt til det første fullstendige, datamaskinverifiserte beviset for Fermats siste teorem.

Kilde: https://www.anthropic.com/research/formalizing-fermats-last-theorem