abou_osama
Re:Landmark computer science proof cascades through physics and math
on Thursday March 05, 2020 @12:52AM (#22491269)
No.
One of the authors talked about this point - among others - here:
https://quantumfrontiers.com/2020/03/01/the-shape-of-mip-re/
"MIP* = RE shows that, with quantum entanglement, there can be a chasm of computability between verifying solutions and finding them."