> require between 1000 and 3000 person-years [to input all the relevant facts in the world] Which is laughably small in retrospect. I wonder what current estim

> require between 1000 and 3000 person-years [to input all the relevant facts in the world] Which is laughably small in retrospect. I wonder what current estimates are.