从现有信息看，Tristan Buckmaster团队用大模型推进前人路线得到3个形式化验证的数学结果，还和OpenAI因Navier‑Stokes相关成果的发布方案产生冲突，他拒绝了对方的两套方案。
