You're right Jason and Oldřich, and I wouldn't be comfortable doing that either, without the developers' and community's consent.
Regardless of the future of
sympy.ai, I would use different names for products and incorporation would obviously be under a different name and domain as well.
I value the work that the SymPy developers and community has done and I recognise that even by using the software I stand on the shoulders of giants.
My motivation for starting the project is to verify Ai answers on on particular problem that I'm working on, and I would love to contribute to the community e.g. provide verification to your "Compute with Gamma" functionality. I would need to extend some functionality around complex analysis and I am happy to contribute that back.
Maybe a different question to ask then is: what would you like
https://sympy.ai to look like, or should it 404 like the other vacant domains? Also for llms.txt?
Kind regards
Vic