ВТФ --- формально
теорема!
(A. Wiles, Международный математический конгресс, 1998).
ВТФ --- всё ещё (вполне возможно)
гипотеза!(?)
(Ю. Ивлиев, 2008).
Для тех, кто хочет быть осведомлен в деталях, даю ссылку:
http://www.aleks-grig-egorov.narod.ru/2008_03_01.pdf
Ссылку подредактировал через 25 минут.
Извените за разгильдяйство.