#邓煜称AI缺乏严谨理论支撑#【#邓煜更关注AI本身的数学基础建设#】 当生成式人工智能与大模型开始席卷科学界，甚至尝试进行定理证明时，作为年轻的数学家，邓煜对AI的定位有着冷静的边界划分。#菲尔茨奖#

在他看来，目前AI在自动证明与形式化上的应用，依然局限于短篇幅、局部步骤的逻辑推导。“AI目前可以给你提供一些思路、小的步骤，甚至做一些小篇幅的讨论，作为研究助手是足够了。但如果说真正独立写出几十页完全独立、高技术含量的证明，目前已知的成果还远远做不到。”

相比于直接使用AI，他更关注“AI本身的数学基础建设”。他指出，当前AI行业普遍依赖算力堆叠，但缺乏严谨的理论支撑。

“我问过很多做AI的数学家，问他这个东西为什么能够work，他说他也不知道，只要能work就行。大家都偏向于做应用。但究竟需要什么数量级的算力才能出现某种奇迹？背后的机制是什么？如何做好风险控制？这些都需要数学家建立严谨的数学基础来回答。”http://t.cn/AX9ovSWq