Google搜索AI讲解数学定理出错，遭数学家逐条驳斥

Google搜索的AI摘要在解释Ax–Grothendieck定理时出错，遭数学研究者Blanche Minerva逐条驳斥。她还指出，命题#2在一阶逻辑中需由无穷多条语句表达，整体可满足当且仅当任意有限子集可满足；这类有限域内可验证的猜想值得比指标更高的关注。