Research in infinite dimensional Lie groups and Lie algebras, applications to theoretical physics and the use of AI tools for research in math