北京
分享至
9月8日，OpenAI宣布，其内部AI系统给出了纳维-斯托克斯方程（Navier–Stokes）存在性与光滑性问题的解答，并公开了相关论文和Lean形式化证明。OpenAI称，此次攻关调动了高达约1万个并发AI智能体，约88小时后得到核心证明。纳维-斯托克斯问题是克雷数学研究所（Clay Mathematics Institute）2000年公布的7个“千禧年大奖难题”之一，每题奖金为100万美元。克雷数学研究所目前仍将该问题列为“未解决”。对于OpenAI的“成果”，学术界也发出了不同的声音。菲尔兹奖得主、数学家陶哲轩直接警告称，AI抢跑数学界，好问题成稀缺资源。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
