Anthropic affirme que Claude a écrit en 11 jours une preuve Lean du grand théorème de Fermat
Selon Anthropic, Claude a rédigé en grande partie de façon autonome une preuve formelle complète du grand théorème de Fermat en Lean. La preuve est publique sur GitHub.
Anthropic↗