Examples for use of AI and especially LLMs in major mathematical developments