Феофан это бот, умеющий рассуждать логически на русском языке ФРЯ Например, если Феофану сообщить, что все люди смертны, а Сократ это человек, то он сообразит, что Сократ тоже смертен. См. Примеры

Monday, December 12, 2016

Где деньги, Зин?

За нахождение простых чисел из более чем 100 000 000 и 1 000 000 000 десятичных цифр EFF назначила[5] денежные призы соответственно в 150 000 и 250 000 долларов США. Ранее EFF уже присуждала призы за нахождение простых чисел из 1 000 000 и 10 000 000 десятичных цифр.

Для поиска простых чисел обозначенных типов в настоящее время используются проекты распределённых вычислений GIMPSPrimeGridRamsey@HomeSeventeen or BustRiesel SieveWieferich@Home.


http://mersenne.ru/members.htm
http://www.mersenne.org/report_top_teams/


GIMPS выиграла[3] денежный приз в 100 000 долларов США за нахождение простого числа из более чем 10 миллионов десятичных цифр и намеревается выиграть аналогичные призы в 150 000 и 250 000 долларов США, обещанные[4]Electronic Frontier Foundation за нахождение простых чисел соответственно из более чем 100 миллионов и 1 миллиарда десятичных цифр. Из суммы этого приза планируется сделать выплаты всем «открывателям» предыдущих простых чисел Мерсенна, авторам программного обеспечения и авторам новых, более эффективных алгоритмов поиска (если такие алгоритмы будут найдены).


http://mersenneforum.org/







1 comment: