This shouldn't leave anyone with the impression they are cranks. Scott's claim in this lecture is he hasn't yet found making a counter argument "really nontrivial"
To wit, the article names Leonid Levin and Oded Goldreich as the primary skeptics.
Leonid has 10K citations, 2012 Knuth Prize, 37 h-index.
Oded has 63K citations, 2017 Knuth Prize, 95 h-index.
What Scott Aaronson considers "really nontrivial" is far beyond our comprehension, and he's making a claim about synthesizing an counterargument, not settling the entire argument.
To wit, the article names Leonid Levin and Oded Goldreich as the primary skeptics.
Leonid has 10K citations, 2012 Knuth Prize, 37 h-index.
Oded has 63K citations, 2017 Knuth Prize, 95 h-index.
What Scott Aaronson considers "really nontrivial" is far beyond our comprehension, and he's making a claim about synthesizing an counterargument, not settling the entire argument.