数学家称OpenAI并不理解其自身的纳维-斯托克斯证明 | AI Archive

数学家批评OpenAI近期声称已解决纳维-斯托克斯方程问题,指出尽管其提出的证明已通过Lean形式化验证,但缺乏实质深度。专家指出,虽然该方法在表面上与西班牙数学家的研究相似,但详细分析显示两者在方法论上存在显著差异。纽约大学特里斯坦·巴克马斯特(Tristan Buckmaster)指控OpenAI利用了此前未发表的工作,而该公司对此予以否认。此外,OpenAI在GitHub上发布了约400项额外结果,此举令许多数学界人士感到沮丧,认

AI Archive

Terminal content

Latest news

News articles

Repository of the day

anthropics/claude-plugins-official · ⭐ 41,745

Official, Anthropic-managed directory of high quality Claude Code Plugins.

Source: GitHub Trending