Even if AI stops merely at solving Erdos problems (merely...), metabolizing it would take decades.