I believe that with the advent of modern online collaboration platforms (such as Github), proof assistant languages (such as Lean), and (potentially) AI tools, there are many emerging opportunities...