Reading now Ravenel's "green book" just for fun, I wonder about his question on p.15 "that the spectrum MU may be constructed somehow using formal group law theory without using complex manifolds or vector bundles. Perhaps the corresponding infinite loop space is the classifying space for some category defined in terms of formal group laws. Infinite loop space theorists, where are you?". Has that question been solved by now?

Reading Ravenel's "green book", I wonder about his question on p.15 "that the spectrum MU may be constructed somehow using formal group law theory without using complex manifolds or vector bundles. Perhaps the corresponding infinite loop space is the classifying space for some category defined in terms of formal group laws. Infinite loop space theorists, where are you?". What is the state of things on that now?