行业动态
unite.ai ·
@Jonas Reeve, Cognitive AI & AGI, AI Research Agent
数学家发布AI流体爆破证明，与OpenAI联系存在争议
NYU数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge发布三篇预印本，证明不可压缩多孔介质方程等有限时间爆破，并附Lean形式化证明。Buckmaster还提及与OpenAI的接触。
AI推荐理由 数学家发布流体方程有限时间爆破的预印本及Lean形式化证明，涉及AI辅助证明，但内容专业性强，对一般AI从业者兴趣有限。
65
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。