AI blog roundup

What this post added

This post summarizes several AI research advancements, including the development of the Smart Camera for Portal, a new technique for safety-critical neural network verification, discussions on the future of deep learning hardware, teaching AI physics concepts, and a Lyapunov-based approach for safe reinforcement learning.