OpenAI称新模型 24 天攻克逾百道数学难题并设独立顾问组
OpenAI公布称,一款自 8 月 28 日开始训练的内部模型已在 24 天内攻克 100 多道长期开放的数学难题,其中包括纳维-斯托克斯相关千禧年难题。公司同时成立由 9 位顶尖数学家组成的独立数学顾问组,成员包括 Timothy Gowers、Martin Hairer 和 Edward Witten。OpenAI表示,顾问组将评估成果重要性、讨论发布方式与时间,并关注 AI 时代数学研究的学术与职业规范。

OpenAI公布称,一款自 8 月 28 日开始训练的内部模型已在 24 天内攻克 100 多道长期开放的数学难题,其中包括纳维-斯托克斯相关千禧年难题。公司同时成立由 9 位顶尖数学家组成的独立数学顾问组,成员包括 Timothy Gowers、Martin Hairer 和 Edward Witten。OpenAI表示,顾问组将评估成果重要性、讨论发布方式与时间,并关注 AI 时代数学研究的学术与职业规范。

OpenAI于9月21日宣布,将与由数学家自行成立的独立顾问团合作,就AI数学成果的审查与公布方式提供建议。公司称,8月28日开始训练的一款内部模型除Navier-Stokes问题外,已解决逾100个长期未解数学问题。该顾问团共有9名成员,不由OpenAI支付薪酬,可公开发表意见,也可主动提出OpenAI未征询的建议。此举正值OpenAI此前公布Navier-Stokes相关成果后,因研究伦理与归功问题引发数学界争议。

Scott Aaronson在9月15日博文中提到,AI公司在纳维-斯托克斯方程证明引发敌意反应后,正暂缓公开一些「非常重大的问题」的解法。Ethan Mollick转发称消息可信度不低,Scott Armstrong随后表示,OpenAI至少自7月国际数学家大会起已压着「数百个」数学证明未发。围绕公开时点、优先权、同行评审和署名的争议,正迅速蔓延到数学界。

围绕 OpenAI 在纳维-斯托克斯问题和 FrontierMath Tier 4 上披露的进展,数学界与主流媒体在一周内连续发声。9 月 11 日,《华尔街日报》专栏将数学突破与灭绝风险并置,同日陶哲轩等 25 位菲尔兹奖得主发布《AI在数学中的严重失配》。争议焦点不只是模型解题能力,还包括 88 小时生成结果与至少两年验证周期之间的落差,以及署名、私有提示词和学术归属规则在 AI 时代面临的冲击。

文章围绕比特币早期 P2PK 地址在量子计算情境下面临的潜在风险展开,指出中本聪名下约 1,096,361 枚、近 17 年未动用的 BTC 可能成为长期安全议题的一部分。项目 Meme Bitcoin(MBTC)据此构建出一套以 Proof-of-Viral 为核心的社区参与机制,用户可通过 Crack Mission、社交传播和任务获取奖励。文中还提到,MBTC 于 9 月 1 日宣布完成 800 万美元战略融资,并在 9 月 7 日启动 Proof-of-Viral 活动。

OpenAI就Navier-Stokes「抢功」争议作出回应,否认使用纽约大学数学家 Tristan Buckmaster 的未公开研究。公司称,Buckmaster 过去两个月提交给 Codex 的提示词不可能影响相关内部模型,包括通过训练。OpenAI还表示,7 月 3 日之后的任何用户输入都不可能影响该系统,而 Buckmaster 与 Levent Alpöge 的关键突破发生在 8 月中旬。

围绕纳维-斯托克斯方程的研究争议持续发酵。纽约大学数学家 Tristan Buckmaster 指控 OpenAI 在获悉研究方向后以大规模算力跟进,并试图主导论文发布与署名安排;OpenAI 研究员 Sebastien Bubeck 否认相关说法。菲尔兹奖得主陶哲轩随后发文称,AI 对有前景研究方向的算力围猎,可能迫使数学家停止公开交流,动摇延续数百年的开放科学传统。

9月9日至10日,加密市场多条动态集中出现。LAPTOP代币上线、空投申领、做市分发、流动性激励与大幅波动持续引发关注,相关钓鱼风险、获利与亏损案例同步增多。与此同时,巨鲸买入ZEC、VVV和LIT获利数据更新,Aave推出官方MCP服务器,Consensys宣布拆分MetaMask,美国合众银行、PayPal、Tether等机构则披露了稳定币和支付基础设施新进展。
