The recent developments in the research area of formal methods and artificial intelligence (AI) integration are significantly advancing the field, particularly in the context of autonomous systems and cybersecurity. There is a notable shift towards leveraging AI to enhance formal verification techniques, addressing the inherent complexities and scalability issues in certifying large, heterogeneous systems. This trend is exemplified by the application of AI in automating the inference of relational object invariants and improving the efficiency of formal verification tools. Additionally, the decentralization of AI through blockchain technologies is emerging as a critical area, aiming to enhance transparency, security, and trust in AI systems, particularly in sensitive domains like autonomous driving. The integration of AI into operating systems is also being explored, with a focus on creating more efficient, secure, and adaptive systems for future computing environments. Notably, there is a growing emphasis on practical, user-friendly tools that bridge the gap between formal methods and real-world applications, making these advanced techniques more accessible to practitioners and educators alike.