3 ms·Have ideas from programming helped us create new mathematical proofs?1 points by chromoblob 3y ago