>>361
自動定理検証が量子コンピュータ？自動定理検証は既に古くからありますが、
それを使っての証明はあんまり成功してないので、こういう方法を使うんですよ。
ここで言った自動定理検証は、量子コンピュータで使うソフトウェアってこと
です。人間に入力することを簡単に言いましたが、この手法は、このスレくらい
でしか議論されず、ノーベル物理学賞くらいの先生らに聞いても、よくわからない、
などと返るだけです。