特里斯坦·巴克马斯特与莱文特·阿尔波格公开了三项有限时间blowup结果，目标直指带光滑强迫项的不可压缩多孔介质方程。这组结果不是普通的偏微分方程进展——它背后藏着一段与OpenAI的互动时间线，两位数学家承认，在证明的关键节点上使用了大型语言模型。
他们选择以公开声明而非论文的形式发布，意在展示AI参与数学发现的真实形态。传统数学界要求证明的每一步都经得起人类逻辑复核，而LLM在实验中承担了猜想生成、技术路径补全，甚至部分计算推导的工作。这随即引出一个棘手问题：当证明链条中混入人类无法完全复核的AI步骤，它还算严格证明吗？巴克马斯特和阿尔波格没有回避，而是把与OpenAI沟通的记录和过程全部摊开，让外界自行判断。
这可能是第一个由研究者亲历描述、用LLM完成偏微分方程blowup证明的公开案例。比起那些“AI发现了新定理”的模糊宣传，这份声明更真实地刻画出人机协作的边界。数学严格性正在被重新定义，而OpenAI或许也没想到，自己模型最激进的测试者不是程序员，而是一群数学家。我们需要更多这类第一手记录，才能真正评估AI在基础数学研究中的价值和风险。
