4 ms·
Tech to Detect Misinformation Will Be More Expensive Than Tech Which Produces It
- DoctorOetker 7y agoOn 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.