| 您好，很高興收到您的邀請！ 我對 AI 算法和 Lean |
| 送交者: mingcheng99 2026年10月11日15:44:40 於 [天下論壇] 發送悄悄話 |
|
您好，很高興收到您的邀請！ 我對 AI 算法和 Lean 有比較深入的研究，目前也在和國內學者合作開展 AI 與物理的研究。不過到目前為止，問起 Lean 的人很少，所以我很願意在這方面和國內學者多交流。 Lean 是一個重要的方向。我認為，今後提交論文時能夠附上 Lean 形式化證明，將是最理想的做法。 想了解一下報告的具體安排，包括日期、時長以及行程方面的安排。也希望借這次報告的機會，和貴校老師們在 Lean 形式化以及 AI 與數學、物理交叉的方向上開展更深入的合作。 謝謝 |
|
 |
 |
| 實用資訊 | |
|
|
| 一周點擊熱帖 | 更多>> |
| 一周回復熱帖 |
| 歷史上的今天：回復熱帖 |
| 2025: | 50多歲的八九學生一代至今還是政治弱智 | |
| 2025: | 中國人均gdp之所以低，原因在於。。 | |
| 2024: | 外交部毛寧說以色列合理安全關切也應得 | |
| 2024: | 中華民國第一國賊： 袁世凱。 憲政第一 | |
| 2023: | 習近平真是紫微星下凡，戰略家們費勁為 | |
| 2023: | 硬核拆解：包皮環切器的使用方法及工作 | |
| 2022: | 統一好?還是分裂好？ | |
| 2022: | 俄烏戰爭與抗日戰爭：風馬牛不相及 | |
| 2021: | 中華民國雙十節，我在論談上如此提到孫 | |
| 2021: | 民國內憂外患的根本因----東海客廳論孫 | |
