I suppose I might not be understanding your and the GP's intent correctly, but I thought that the question was based on the following sentences:

> I think it would be good service to use AI tools to bring open source alternatives like sympy and sage and macaulay to par.

> It would be really nice to have better software written by strong software engineers who also understands the maths for mathematicians.

And my response is that I think that this sort of work, which is in the public scientific interest should be funded by tax money, and the results distributed under libre licenses.