论文

Magic
2026-09-09 08:40:52

Magic称用50万美元训练成本接近DeepSeek V4 Pro底模

AI 编程公司 Magic 公布一项预训练研究,称用约 50 万美元的 GB200 算力即可取得接近 DeepSeek V4 Pro Base 的预训练效果,计算量约为后者的 1/50。Magic 强调,对比对象是仅完成预训练的底模,不代表聊天、编程或 Agent 能力已经追平成品版。该公司随后将训练规模扩大 10 倍,称在同一套自测中超过其测试的 DeepSeek、Kimi 和 NVIDIA 最新公开 Base 模型,但完整训练配方和模型权重尚未公开。

140
Magic称用50万美元训练成本接近DeepSeek V4 Pro底模
OpenAI
2026-09-09 02:56:04

OpenAI称 88 小时攻克 Navier-Stokes 难题,论文发布前陷入署名争议

OpenAI称,旗下仍在训练的内部模型借助约 10,000 个 agent,在 88 小时内证明 Navier-Stokes 方程式存在有限时间奇异点。就在论文公开前约 12 小时,NYU 教授 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 已先公开相近成果。双方随后围绕优先权、模型是否接触未公开研究,以及署名安排出现公开争议。

210
OpenAI称 88 小时攻克 Navier-Stokes 难题,论文发布前陷入署名争议
OpenAI
2026-09-09 00:21:00

OpenAI公布纳维–斯托克斯难题解答及Lean形式化证明

OpenAI称,其内部系统已给出纳维–斯托克斯存在性与光滑性问题的一个解答,并同步公开论文与Lean形式化证明。按照其说法,该结果对应克雷数学研究所官方表述中的C、D命题,但仍需学界独立审查。OpenAI还披露,证明由较GPT-6 Astra更强的内部模型完成,约1万个并行智能体用时约88小时,Lean形式化和验证另耗时17小时。

200
OpenAI公布纳维–斯托克斯难题解答及Lean形式化证明
OpenAI
2026-09-08 21:38:34

OpenAI称攻克百万美元数学难题却遭数学家指责抢先发布

OpenAI称其内部模型证明了纳维–斯托克斯方程可能出现“爆炸”,并由约1万名AI代理在88小时内完成、经Lean验证。纽约大学数学家Tristan Buckmaster则称,他与Anthropic数学家Levent Alpöge早已取得相关成果,并指责OpenAI试图抢先发布。

190
OpenAI称攻克百万美元数学难题却遭数学家指责抢先发布
英国FCA
2026-09-08 09:47:05

英国 FCA 讨论放宽 2019 年金融预测市场零售禁令

英国《泰晤士报》称,英国金融行为监管局(FCA)已与交易平台讨论,是否放宽针对零售投资者参与金融预测市场的 2019 年禁令。目前规则并未改变,FCA 公开立场仍支持维持禁令。现行框架下,涉及金融事件及部分气候事件的相关合约被视为二元期权,自 2019 年 4 月 2 日起不得向英国零售客户销售、营销或分发。即便政策调整,体育和政治类合约仍归英国博彩委员会监管。

170
英国 FCA 讨论放宽 2019 年金融预测市场零售禁令
OpenAI
2026-09-08 10:57:22

纽约大学数学家指控 OpenAI 抢发 Navier-Stokes 研究成果

纽约大学数学家 Tristan Buckmaster 与 Levent Alpöge 称,在借助 Claude、Codex 等模型推进多个流体力学难题后,尚未公开的进展于 9 月初传到 OpenAI。Buckmaster 指控 OpenAI 在知情情况下沿高度重合路线推进 Navier-Stokes 证明,并在沟通中提出由他参与撰写论文但不让任职 Anthropic 的 Alpöge 署名。Buckmaster 表示自己没有证据证明 Codex 数据被用于训练,也未看过 OpenAI 的证明;OpenAI 研究员 Sébastien Bubeck 已公开否认相关说法。

150
纽约大学数学家指控 OpenAI 抢发 Navier-Stokes 研究成果
AI创业
2026-09-08 09:24:11

AI创业融资提速:9家公司半年内跨入独角兽

MarsBit援引微信公众号「IT桔子」报道,2026年截至9月初,国内外至少有9家AI公司在成立半年内跨过独角兽门槛。报道点名语用科技、昆仑行、临界点AGILINK、智衍慧生Naive.ai,以及River AI、Hark、AMI Labs、Recursive Superintelligence和Atoms,称多数公司尚无产品或收入,资本押注的核心对象更多是创始人履历、技术路线和产业位置。

380
AI创业融资提速:9家公司半年内跨入独角兽
OpenAI
2026-09-08 11:22:13

OpenAI内部模型据称攻克纳维-斯托克斯外力驱动爆破解题路径

纽约大学数学家 Tristan Buckmaster 披露,OpenAI 一款内部模型据称已就纳维-斯托克斯方程外力驱动情形给出约 100 页证明,目标指向千禧年难题的一条官方允许路线。Buckmaster 同时与 Levent Alpöge 公布了在 LLM 帮助下完成的三类流体方程有限时间爆破结果,并上线论文与 Lean 形式化代码。围绕 OpenAI 结果的来源、训练是否涉及用户数据,以及署名安排,Buckmaster 还公开了与 OpenAI 的沟通经过。

250
OpenAI内部模型据称攻克纳维-斯托克斯外力驱动爆破解题路径