克雷数学研究所就 Navier-Stokes 问题发表公开声明

2026-09-12 23:31 by 月光狂想曲

OpenAI 本周早些时候宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚，于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。Navier-Stokes 问题是克雷数学研究所列出的七大千禧年数学问题之一，它为每道题的解决提供了一百万美元奖金。目前七大问题只有庞加莱猜想确认解决，但解决该问题的俄罗斯数学家格里戈里·佩雷尔曼拒绝接受该奖。克雷数学研究所就此公开声明，表示将根据其评奖流程确认成果。根据克雷数学研究所的规则，OpenAI 首先需要在同行评审的期刊上发表解题结果，需要至少发表两年并且获得数学界的普遍认可。OpenAI 至今没有给出 Navier-Stokes 问题的证明，因此确认该问题被解决至少需要到 2029 年。

https://www.claymath.org/wp-content/uploads/2022/03/millennium_prize_rules_0.pdf
https://www.claymath.org/news/navier-stokes-announcement/

#数学

via Solidot - Telegram Channel

Anthropic CEO呼吁放缓前沿AI模型开发 引入常驻独立评估人员

via cnBeta.COM - 中文业界资讯站 (author: 稿源：环球市场播报)

Telegraph

Anthropic CEO呼吁放缓前沿AI模型开发 引入常驻独立评估人员

Anthropic首席执行官达里奥·阿莫代伊提出一项三阶段人工智能安全框架，主张控制前沿模型能力提升速度，为安全和对齐研究争取时间。Anthropic将率先允许第三方评估人员长期进入公司内部，核查安全措施、报告事件并评估模型训练过程。 Anthropic将引入常驻外部评估团队 阿莫代伊在题为《必须控制前沿进展速度》的文章中提出，前沿人工智能企业应向独立第三方评估团队提供持续、接近普通员工的内部访问权限。评估人员将核查企业是否遵守安全承诺、调查和报告事故，并对模型及其训练流程进行对齐评估。 Anthrop…

Codex GitHub Review and Pull Request Failures

Status: Identified

We have identified an upstream GitHub service disruption affecting review publication and pull request creation in Codex. Follow GitHub’s status page "GitHub’s status page": https://www.githubstatus.com/ for updates. We expect these workflows to recover as GitHub restores service. We are working on implementing a mitigation.

Affected components
● Codex in ChatGPT Desktop (Degraded performance)

via OpenAI status