#25岁天才少女拿下超14亿融资#
AI的根基是数学，现代人工智能的核心技术，如神经网络、优化算法、概率推理等都建立在线性代数、微积分、概率论和最优化方法之上。但AI与数学之间也存在一些文化差异。AI追求高效求解，数学追求严谨证明。天才少女洪乐潼要解决的核心问题是让AI的推理过程像数学证明一样严格、可验证，从而彻底杜绝“幻觉”和逻辑错误‌。#热点解读# http://t.cn/AXIkggiO