Tech to Detect Misinformation Will Be More Expensive Than Tech Which Produces It (sourcedfact.com) 8 points by YazIAm 6y ago ↗ HN
[–] DoctorOetker 6y 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.
1 comment
[ 2.5 ms ] story [ 12.7 ms ] threadSo we should move to formalization as a herd.