I'm pretty sure that would quickly get them in trouble because of copyright issues...
Unless they explicitly stated any players submit their rights to ownership of the algorithms they write. Even then I feel an open source alternative geared towards research would be better than a for-profit closed source organisation, but they will have their own business needs and ideas they want to stick to.
It says open source on steam and it links to a GitHub repo. Didn't verify, but seemed legit
That's dumb.
Any algorithms that players come up with will almost certainly only be useful for playing the game.