特定の難問の解が正しいかどうかを検証する際、量子世界の固有の複雑さを避けることはできないことがわかります。