Making Mathematical Knowledge Explainable, Accessible and Interoperable Through Large Language Model Integration