P≠NPは比較的短めにアイデア勝負という感じはする
集合論や圏論みたいな何か基本的なレベルからの新しい理論が必要なんだろう
金をやるから研究しろと言われて一番やりたくないのがヤンーミルズ