突发!OpenAI一次放出722篇数学成果,准黎曼猜想、4D挂谷都在列
突发!OpenAI一次放出722篇数学成果,准黎曼猜想、4D挂谷都在列OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿,归为372个成果族,涉及准黎曼猜想和四维挂谷猜想等,其中235族附有Lean形式化说明,仍待专家审读验证。
搜索
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿,归为372个成果族,涉及准黎曼猜想和四维挂谷猜想等,其中235族附有Lean形式化说明,仍待专家审读验证。
OpenAI启用文本水印,未来几周将为欧盟符合条件的ChatGPT与Codex文本输出加入不可见水印,其textGrain方案由2026年考普斯奖得主苏炜杰等九人合作设计。
DeepSeek Harness v0.2.1-alpha.1 加入实验性 Claude Code Mods 兼容层,用于验证其扩展能力与“一切皆插件”架构的关系,但目前尚不能保证所有 Mods 无缝运行。
Utopai Studios正以Utopai X和PAI将模型生成、素材管理及专业协作纳入同一电影制作流程,并规划三部2027年院线片,同时拓展DeNA合作与体育IP开发。
哈尔滨工业大学(深圳)iLearn-Lab与新加坡国立大学LV-Lab提出免训练2-bit KV Cache量化框架QuantWM,改善视频世界模型量化后的时序闪烁与画质,并实现最高6.20倍缓存压缩。
Anthropic强化学习技术负责人Sholto Douglas预测,能力等于甚至超过所有人类的AGI可能在未来几年内出现,2028年AI年度资本开支或达4万亿美元,而研究员Nick Marwell对AI无需人类搭档后的后果表示紧张。
OpenAI在GitHub的openai/math仓库公开722份数学手稿,涉及372个问题家族及Lean形式化证明,并表示多数结果来自未发布的内部模型,部分未形式化结果可能存在问题。
Mistral 发布 Mistral Large 4,采用细粒度混合专家结构,总参数1.05T、每次激活49B,支持图文输入和100万上下文,API现已开放,权重计划于10月27日发布。
据彭博社报道,DeepSeek即将敲定至少800亿元人民币的新一轮融资,腾讯和宁德时代承诺出资金额居前,该轮融资拟为2027年初IPO铺路,但最终条款仍未确定。
英伟达投资的Reflection发布开源模型Beam,采用MoE架构,专注代码、推理和Agent任务,官方称其以GLM-5.2三分之一至四分之一的推理算力取得相当成绩,但原始能力仍落后部分前沿开源模型,计划月底以Apache 2.0放出权重。