在 Hacker News 的这个讨论帖中，评论者围绕 Vi Hart 那篇关于纳维-斯托克斯/AI 主张的文章展开争论。许多人称赞她对 AI 炒作的批驳：LLM 是有用工具，但无法原创人类尚未展示过的东西；它们的“发现”被过度吹捧。其他人反驳说，一个智能体集群解决了一个千禧年大奖难题——一个“第37手”时刻——并且 AI 能够超越训练数据泛化，尤其是在有世界模型和合成数据/强化学习的情况下。讨论还滑向伦理：Hart 把与大型 AI 合作比作拿爱泼斯坦的钱，有人认为这太极端，也有人辩护，援引科技领袖与爱泼斯坦的关系以及 AI 的危害。其他评论还讨论了形式数学、巴别图书馆，以及 AI 生成的证明或写作在没有人类语境时是否有意义。总体而言，这场讨论反映出围绕 AI 的真实能力、道德地位和文化影响的深刻分歧。