что с теоремой Ферма?

играю в эту долбаную игру, шо дали ссылку тут недавно:(
там вопрос и 4 варианта ответа.
вопрос был таков:
кто доказал теорему Ферма?
и 4 варианта: из которых 3 фамилии и 4й вариант - "никто". все три участника (и я в том числе) написали "никто", а компьютер написал правильный ответ, выделив чью-то фамилию. И т.к. вопросы в той игре мелькают, я не успела посмотреть фамилию, которую отметил комп.
погуглила, ответ "никто" до сих пор определяющий и иных фамилий, доказавших теорему Ферма, я не нашла.
что делать? помогите.