RecodeX 重构消息，理论计算机科学家斯科特·阿伦森在其博客中表示，他听到传闻称多家AI实验室正握有重大数学问题的解决方案。此番言论出现在纳维-斯托克斯方程证明引发激烈争议之后。阿伦森回顾称，二十年前，AI在有生之年接管世界的想法在多数人看来仍是不受约束的幻想。