MIT develops algorithms to "solve" non-linear systems as sum of squares · HackerTrans