> Especially interesting compared to the Bourbaki movement from a century ago, which was much more focused on universality and correctness, and much less focused on process and attribution (in fact, demanded anonymity).

The Bourbaki group was (is) about documenting existing mathematics rigorously, not doing original research. This document is specifically about the future of mathematical research.