先日話題になった「素数を多項式時間で判定する」について知人のハッカー氏(集合論の専門家でもある)に呑みの席で尋ねたところ、氏もとっくに論文に目を通したらしく「
真っ赤な嘘」であるとのこと。曰く、世紀の難問であるリーマン予想が証明されない限り、素数多項式時間判定は絶対にできないらしい。ためすまでもなくガッテン。