'Prove' is correct for the research but a bit strong for the language of your summary
The important caveat:
tfa> determination of the smallest computational task that is prohibitively hard for today’s classical computers.
'today's classical computers'.. or more timeless: 'contingent on p!=np'
'Prove' is correct for the research but a bit strong for the language of your summary
The important caveat:
tfa> determination of the smallest computational task that is prohibitively hard for today’s classical computers.
'today's classical computers'.. or more timeless: 'contingent on p!=np'