Från Rilpedia

Taniyama-Shimuras sats är en matematisk sats formulerad under senare delen av 1950-talet av de japanska matematikerna Yutaka Taniyama och Goro Shimura. Taniyama-Shimuras sats innebär kort att varje elliptisk kurva har en motsvarande modulär form. Satsen förblev länge obevisad, då den kallades Taniyama-Shimuras förmodan, men bevisades för elliptiska kurvor med vissa egenskaper av Andrew Wiles. Detta tillsammans med tidigare resultat ledde till att Fermats stora sats slutligen blev bevisad mer än 350 år efter Fermats berömda anteckning i marginalen. Sedermera har andra matematiker slutfört beviset, så att Taniyama-Shimuras förmodan numera är en sats.