And I'm optimistic that AI will revolutionize automatic proving businessand also revolutionize program synthesis, the ability to automatically write really good code.

我乐观地认为人工智能将彻底改变自动验证业务，也将彻底改变程序综合，即自动编写真正优秀代码的能力。