Fermat'ın son teoremi sadece 11 günde AI ajanları tarafından resmileştirildi.
Fermat'ın son teoremasının kanıtını bilgisayarların kontrol edebileceği bir kod haline getirmek yıllar sürecekti Anthropic'in Claude AI'si iki haftadan az bir süre içinde bunu başardı
