Tech to Detect Misinformation Will Be More Expensive Than Tech Which Produces It (opens in new tab)

(sourcedfact.com)

8 pointsYazIAm6y ago1 comments

1 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.

j / k navigate · click thread line to collapse

Tech to Detect Misinformation Will Be More Expensive Than Tech Which Produces It (opens in new tab)

(sourcedfact.com)

8 pointsYazIAm6y ago1 comments

1 comments

DoctorOetker6y ago

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.

j / k navigate · click thread line to collapse