一昔前に日本人がP=NP問題の算術からの独立性を示したと噂になったがその後どうなったん？
流石に算術からの独立性では懸賞金は貰えなかったんか？それとも間違ってたんか？