您好，很高兴收到您的邀请！

我对 AI 算法和 Lean 有比较深入的研究，目前也在和国内学者合作开展 AI 与物理的研究。不过到目前为止，问起 Lean 的人很少，所以我很愿意在这方面和国内学者多交流。

Lean 是一个重要的方向。我认为，今后提交论文时能够附上 Lean 形式化证明，将是最理想的做法。

想了解一下报告的具体安排，包括日期、时长以及行程方面的安排。也希望借这次报告的机会，和贵校老师们在 Lean 形式化以及 AI 与数学、物理交叉的方向上开展更深入的合作。

谢谢