増田氏がP=NP問題に取り組んでいるという噂は本当でしょうか