Фрейк Видайк отслеживает , сколько теорем из " 100 величайших " ( условный список , составленный на рубеже тысячелетий ) уже доказаны с помощью ФД .
фрейк$1448 Видайк$1448 отслеживать$18 ,$0 сколько$1384 теорема$1566 из$0 "$0 100$1384 великий$2164 "$0 ($0 условный$1458 список$1500 ,$0 составить$1558 на$0 рубеж$1520 тысячелетие$1556 )$0 уже$36 доказать$1704 с$0 помощь$1526 ФД$1556 .$0