If he open sources it, and the company goes bankrupt without that income source, it will bitrot and cease to be important for humanity. The system has to self

If he open sources it, and the company goes bankrupt without that income source, it will bitrot and cease to be important for humanity. The system has to self sustain somehow. If you want a similar system that is completely free and GPL, look at Maxima. It originates in DOE Macsyma and is Mathematica's direct predecessor. Since the company went bankrupt, the development went on at a glacial pace. Mathematicas commercial develompent model overtook it several times.