主讲《Formal Method by Agents》，以特斯拉/小米汽车安全、网球策略等案例讲解形式化方法用于程序生成与复杂系统验证，并谈超智能时代人类的四大角色。
▸ 主讲：Formal Method by Agents（13:15–13:30）