Hacker News new | ask | show | jobs
by RandomLensman 30 days ago
Then you have to make sure that the AIs understand the theorems (sort of build a "world" for that - otherwise how'd there be confidence in the use of said theorems?

If cryptography didn't exist but the maths did, how'd you use it?