Updates in AI verification: what AI lab leaders, officials and researchers have said, newest first.