Какие открытия, связанные с теоремой Ферма, сделали после ее доказательства?

Некоторые открытия, связанные с теоремой Ферма, сделанные после её доказательства:

• Гипотеза Таниямы — Симуры. ru.wikipedia.org nplus1.ru В 1984 году немецкий математик Герхард Фрай доказал, что решение уравнения Ферма, если оно существует, можно включить в некоторое эллиптическое уравнение. ru.wikipedia.org Он предположил, что Великая теорема Ферма является следствием гипотезы Таниямы — Симуры. ru.wikipedia.org Это предположение было доказано Кеном Рибетом, который показал, что гипотетическое уравнение не может иметь двойника среди модулярных форм. ru.wikipedia.org
• Доказательство abc-гипотезы. ru.wikipedia.org В 1994 году японский математик Синъити Мотидзуки заявил, что теорема Ферма тривиально следует из abc-гипотезы. ru.wikipedia.org Его доказательство отличается исключительной сложностью. ru.wikipedia.org
• Контрпример к гипотезе Эйлера. nplus1.ru В 1988 году Науму Элкиесу из Гарварда удалось найти контрпример к гипотезе о том, что уравнение x4 + y4 + z4 = u4 не имеет решения в целых числах. nplus1.ru