搜索「纳维-斯托克斯方程」，找到 12 条相关内容
-
OpenAI被曝逼近霍奇猜想，数学自动化或成下一个爆点
消息显示，OpenAI内部预计霍奇猜想有望在较短时间内获证，此前纳维-斯托克斯方程证明耗资或达数百万美元。公司正权衡成果发布方式，避免与数学界再生摩擦，同时押注数学成为大模型攻克的下一个领域。
-
OpenAI再陷数学成果争议：Astra被指使用学者未公开对话数据
德累斯顿工业大学数学家Andreas Thom指控OpenAI的Astra模型剽窃其二十年研究，核心推导与其未发表对话高度吻合。OpenAI否认，但此前已承认可能使用去标识化客户数据，引发学界强烈反弹。
-
AI巨头赞助数学赛事引争议 OpenAI宣布退出加州理工黑客松
OpenAI因数学家公开信批评其“垃圾数学”行为，宣布退出赞助加州理工学院数学黑客马拉松。此前OpenAI智能体宣称解决纳维-斯托克斯方程，被指利用未署名数学家对话数据。事件引发对AI公司抢功、破坏数学研究生态的广泛讨论。
-
数学界抗议AI“垃圾数学”，OpenAI退出加州理工黑客马拉松赞助
OpenAI宣布退出加州理工学院数学黑客马拉松赞助，此前数学家公开信批评AI公司宣称解决难题却将验证工作留给研究者，纳维-斯托克斯方程争议成为导火索。
-
千禧年数学难题证明引争议：AI训练数据边界遭拷问
OpenAI宣称其内部模型攻克纳维-斯托克斯方程，却因训练数据来源与学术伦理问题引发全球争议。纽约大学教授指控其私人交互数据可能被用于模型迭代，暴露前沿AI实验室的"数据枯竭"困境与科研知识产权危机。
-
千禧难题突破陷署名与训练数据争议，AI科研协作边界待厘清
OpenAI宣称在纳维-斯托克斯问题上取得进展，却因训练数据来源、论文署名安排与合作数学家产生分歧。争议折射出大模型时代学术成果归属与科研伦理的新挑战。
-
OpenAI称破解世纪数学难题，AI推理能力再引热议
OpenAI宣布其AI系统在数学领域取得重大突破，成功解决一道千禧年大奖难题。此举引发对AI推理能力及数学研究未来的广泛讨论。
-
OpenAI 宣称AI攻克纳维
OpenAI 宣布其多智能体系统解决了纳维-斯托克斯方程存在性与光滑性问题，并已公开论文和 Lean 形式化证明。该成果若获认可，将是 AI 首次解决千禧年大奖难题。同时，与纽约大学研究员的研究优先权争议浮出水面，引发对 AI 科研伦理与学术规则的讨论。
-
数学证明引发AI伦理争议：OpenAI被指抢先利用他人思路
纽约大学数学家Tristan Buckmaster与Anthropic数学家合作，用AI攻克纳维-斯托克斯方程关键步骤，却指控OpenAI在成果公开前抢先完成证明，引发学术伦理与AI研究公平性争议。
-
AI数学难题争夺战：OpenAI被指抢先，学术伦理引热议
OpenAI宣称攻克纳维-斯托克斯方程，却遭数学家指控抄袭研究思路。双方各执一词，凸显AI领域竞争白热化及学术伦理争议。