//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
I started a crowdsourced meta-project to list all the other crowdsourced mathematical research projects that are currently active and seeking participants: mathoverflow.net/questions/50...
8mo
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...
mathoverflow.net
List of crowdsourced math projects actively seeking participants
Terence Tao