
AI löste matematikens gåta efter 358 år
13 miljoner rader kod, 30 000 bevisade satser och 11 dagars arbete. Claude har levererat det längsta matematiska bevis som någonsin skapats – ett maskinkontrollerbart kvitto på den gåta som Pierre de Fermat klottrade ner i en marginal 1637.










