Topics Related to 2022, ChatGPT and Lean: