academic-collaboration

这篇文章提出了关于研究人员对OpenAI处理未发表数学工作的信任问题，可能会影响AI社区的合作和数据共享。

OpenAI宣布使用人工智能解决了Navier-Stokes问题，但因未注明数学家Tristan Buckmaster和Levent Alpöge的贡献而引发争议。这一事件标志着随着人工智能影响力的增强，数学研究可能发生的转变。

作者回忆了与Leslie Lamport合写论文'Types Considered Harmful'的经历，详述了规范语言中类型理论的争议以及合作过程。