Fermi tutti: c’è qualcosa che non funziona in una delle più spettacolari e famose conquiste matematiche del XX secolo, la dimostrazione dell’Ultimo Teorema di Fermat? E perché ce ne accorgiamo solo adesso, dopo 30 anni? Un gruppo di ricercatori dell’Imperial College London ha di recente avviato un ambizioso progetto che mira a formalizzare la dimostrazione […]
