@tao@mathstodon.xyz To stay in your analogy, we could face a future in which suddenly almost no child is conceived in the 'traditional way', though. To push it even further, the non-traditional children/proofs will also be much stronger and punch the traditional children to steal their breakfast all the time. I think the analogy has reached its limit.