Tech to Detect Misinformation Will Be More Expensive Than Tech Which Produces Itsourcedfact.com 8 pointsYazIAm6 years ago1 commentSaveHideCopy link On HNComments−DoctorOetker6yOn the other hand, tech to verify formalized derivations will be cheaper than tech to generate falsely verifying formalized derivations (impossible unless one finds a bug in a verifier)So we should move to formalization as a herd.
Comments
On the other hand, tech to verify formalized derivations will be cheaper than tech to generate falsely verifying formalized derivations (impossible unless one finds a bug in a verifier)
So we should move to formalization as a herd.