Re:The Great Software Stagnation
by pfdietz on Saturday January 02, 2021 @01:23PM
(#25614986)
Since BQP is a subset of PSPACE, are you claiming that P != PSPACE has been proved?
[ Parent
| on HN ]
Re:The Great Software Stagnation
by tsimionescu on Saturday January 02, 2021 @02:14PM
(#25615492)
Oops, you're right, I misspoke when I claimed this was proven. I mixed up BQP with the recent quantum superiority demonstration, apologies.
Still, it is strongly suspected that BQP != P. This was especially reinforced by the MIP* = RE result, as far as I understand from Scott Aaronson [0].
[0] https://www.scottaaronson.com/blog/?p=4512#comment-1829033
I see your Scott Aaronson and raise you one Gil Kalai.
https://gilkalai.wordpress.com/2020/12/29/the-argument-again...