数学家指控OpenAI抢发成果,还要求删掉Anthropic员工署名
相关推荐
OpenAI公开Navier-Stokes证明,并正面回应数学家抢功指控
动察 Beating AI 快讯,OpenAI 公布了一份由 AI 完成的 Navier-Stokes 证明。这是悬而未决约 90 年的数学难题,也是七个「千禧年难题」之一,奖金 100 万美元。 OpenAI 称,使用的是一个仍在训练、能力明显强于 GPT-6 Astra 的内部模型,约 1 万个 Agent 协同工作,88 小时找到解法,之后又用 Astra 花 17 小时完成 Lean 机器验证。论文和验证代码已经公开,但仍要接受数学界审查。 这项成果背后还有一场抢发争议。纽约大学数学家 Tristan Buckmaster 和 Anthropic 员工 Levent Alpöge 此前也借助 Claude、Codex 推进了同一方向的研究。Buckmaster 称,两人的未公开进展传到 OpenAI 后,OpenAI 几天内投入大量算力攻入同一路线,还曾提出由 Buckmaster 改写 OpenAI 的 Navier-Stokes 证明,但不让 Alpöge 署名。 OpenAI 现在承认,这场冲刺确实始于「Anthropic 可能解决了千禧年难题」的传闻。9 月 1 日,团队开始让新模型挑战多个数学难题,先用近 100 个 Agent 做出 Euler 结果,随后把资源集中到 Navier-Stokes,最终扩到约 1 万个 Agent。OpenAI 否认在 Buckmaster 公开论文前看过他的研究,也否认调用具体用户数据,但没有完全封死另一种可能:两人使用 OpenAI 产品产生的去标识化数据,可能曾被用于改进模型。 Sébastien Bubeck 也回应了署名和「毁掉职业生涯」的争议。他称,自己没有要求 Alpöge 放弃两人原有成果的署名;当时谈的是让 Buckmaster 主笔 OpenAI 的证明,他认为让 Anthropic 员工署名 OpenAI 的工作不合适。对于「为什么要毁掉自己的职业生涯」这句话,Bubeck 承认措辞糟糕并道歉,但否认是在威胁。Sam Altman 也公开站在 Bubeck 一边,并确认 OpenAI 当初就是听到 Anthropic 的传闻后,想看看自己的模型能不能做到。 OpenAI 表示不会领取这项难题对应的 100 万美元奖金。
OpenAI否认偷用数学家未公开研究:Codex草稿没影响Navier-Stokes证明
动察 Beating AI 快讯,OpenAI 最新回应了 Navier-Stokes 抢功争议,明确否认偷用了纽约大学数学家 Tristan Buckmaster 的未公开研究。公司调查后称,Buckmaster 过去两个月提交给 Codex 的 prompt,不可能以任何方式影响这套内部模型,包括通过训练。 Buckmaster 此前和 Levent Alpöge 一直在研究同一方向,大量草稿都放进了 Codex。两人的进展传到 OpenAI 后,OpenAI 几天内集中算力拿出了 Navier-Stokes 证明。Buckmaster 因此怀疑,自己的未公开研究是不是已经被模型学了进去。OpenAI 现在把这一点明确否认了。 OpenAI 还把时间边界划到了 7 月 3 日,此后的任何用户输入,都不可能影响这套系统。社区有人猜测,这一天可能对应某个训练数据截点或模型 checkpoint,但 OpenAI 没有解释。 Buckmaster 和 Alpöge 的关键突破发生在 8 月中旬,远远晚于 OpenAI 划出的 7 月 3 日边界。
OpenAI 证明纳维-斯托克斯方程存在有限时间奇点
火星财经消息,OpenAI 于 9 月 8 日宣布,其内部多智能体系统已成功证明三维不可压缩纳维-斯托克斯方程在有限时间内可形成奇点,从而解决了该世纪难题。该证明由 OpenAI 内部一个比 GPT-6 Astra 能力更强的模型驱动,并于 9 月 5 日获得初步结果,随后经过 17 小时的 Lean 形式化验证。OpenAI 表示,该证明展示了在光滑外力作用下,静止流体可演化出向内螺旋并拉伸的涡旋结构,其能量保持有限但速度无界增长,对应千年奖问题中的“C”和“D”情形。整个求解过程动用了约 1 万个并发智能体,发送约 270 万条消息,消耗约 1300 亿输出 token。OpenAI 承认此次尝试受到有关 Anthropic 员工 Levent Alpöge 和 NYU 教授 Tristan Buckmaster 并行工作的传闻启发,并称双方在欧拉方程正则性问题上结果不同,OpenAI 证明了无外力情形,而对方证明了有外力情形。
Anthropic称Kimi曾拿Claude代答:10天近30万条请求
动察 Beating AI 快讯,Anthropic 发布最新 AI 滥用调查报告,称月之暗面曾把部分 Kimi 用户请求直接转给 Claude,再把 Claude 的回答展示给用户。Anthropic 称,在一个 10 天窗口内,近 30 万条用户请求被这样转发,绝大多数进入 Opus。月之暗面为此使用了 5,380 个违规账号。这些用户当时以为自己仍在使用 Kimi。 Anthropic 还称,月之暗面会保存部分交互,并通过「跨会话重放」提取 Claude 的完整推理过程,用来训练自家模型。5 月至 7 月,相关蒸馏交互超过 2300 万次。 部分真实用户请求里还带着企业内部代码和有效凭证,也一起被转给了 Claude。Anthropic 表示,它不知道这些用户是否被告知数据会流向第三方。 这些说法目前主要来自 Anthropic 单方调查,尚未得到独立验证。针对美国三家机构此前提出的类似蒸馏指控,中国商务部回应称相关说法「于事无凭,于法无据」,并称蒸馏是业内通行技术。
OKX 在欧洲上线 OpenAI 与 Anthropic 的 Pre-IPO 永续合约
ChainCatcher 消息,加密货币交易所 OKX 宣布在欧洲推出与 OpenAI 和 Anthropic 相关的 Pre-IPO 永续合约,符合条件的交易者可做多或做空两家 AI 公司的估值,最高可使用 10 倍杠杆,但不会获得两家公司的实际股份。该产品押注的是两家公司上市前的估值变动,为难以直接买入私有公司股票的散户投资者提供了新的投机途径。OKX 并非首家推出此类产品的平台。Hyperliquid 已通过 HIP-3 提供与 OpenAI 和 Anthropic 相关的市场,Binance 也为两家公司提供 Pre-IPO 永续合约。OKX 表示,此类产品并非股份本身的替代品,但能满足市场对长期未上市大型科技公司敞口的持续需求。与此同时,OKX 还上线了 100 只代币化股票和 ETF,包括 Nvidia、Alphabet、Palantir 以及 SPY 和 QQQ,支持欧洲交易者全天候交易传统市场。这些代币追踪标的证券价格,但不赋予持有者实际股份或投票权,部分代币可提取至自托管钱包。OKX 欧洲 CEO Erald Ghoos 表示,其衍生品业务需求持续增长,自 MiCA 过渡期于 7 月结束后,欧洲市场 X-Perps 交易量已增长四倍。
OpenAI、Anthropic想上市就拿投资级评级,华尔街开始铺路
动察 Beating AI 快讯,摩根士丹利和高盛正在替 OpenAI、Anthropic 与信用评级机构沟通,希望两家公司 IPO 后尽快拿到投资级评级。评级上去后,两家公司发债可以拿到更低利率,养老金、保险公司等原本很少配置投机级债券的机构,也能更容易进场。 这也能减轻合作伙伴的压力。英伟达已经为 OpenAI 俄亥俄数据中心提供最高 1050 亿美元信用支持。监管文件写明,只要 OpenAI 获得「满意的信用评级」,这项担保就可以终止。 但评级机构还没松口。FT 援引评级机构分析师称,目前仍会把 OpenAI 和 Anthropic 按明显的投机级看待。两家公司也尚未表现出稳定产生正自由现金流的能力。 Meta、Netflix、Tesla 上市后都等了十多年才拿到投资级评级。SpaceX 今年上市后很快获得投资级评级,是大型科技公司中的首例。