他与Anthropic数学研究员莱文特·阿尔珀格研究纳维-斯托克斯方程的技术路线后，利用海量算力抢先跑通形式化证明。不过，OpenAI对此予以否认，并称双方最终得到的证明存在明显差异。

　　两人研究进展后的几天内输入的。

　　室内发现用于欺骗受害者的剧本、多国假警察制服