Presumably the bottleneck is not software correctness... even true AGI change the laws of physics (or make datacenters appear out of thin air) ...