←搜索结果

按匹配度 · 共 1248 条结果 清除搜索

星期五

  1. 上观新闻

    陶哲轩点名批评OpenAI,数学界呼吁停止合作

    菲尔兹奖得主陶哲轩在个人博客转载人类数学协会(AHM)声明,批评OpenAI无视数学界研究规范,并呼吁数学家停止与其合作。争议源于OpenAI公开一批数学研究手稿,其内部模型尝试解决约4000道数学问题,整理出涉及372组成果的研究材料,并公开部分Lean形式化证明代码。AHM认为OpenAI忽视了数学与人工智能咨询组(AGMAI)建议的核心前提,AGMAI此前明确反对前沿AI实验室用外界无法访问的内部模型测试高难度数学问题。

    匹配字段标题

  2. OpenAI Newsroom

    OpenAI 回应解雇三名安全研究员

    OpenAI 研究负责人称,经内部调查发现 Jasmine、Mikita、Tomek 违反敏感信息处理政策,已终止雇佣,并强调解雇与提出安全担忧无关。OpenAI 表示正敲定第三方安全评估机构合同,将在未来几周公布细节,并重申前沿模型可监控性需要全行业承诺,提及 GPT-6 Astra 系统卡及已开源的 monitorability evals。

    匹配字段标题

  3. Latent Space

    OpenAI 解雇三名安全人员,当事人发公开信回应

    Tomek Korbak、Mikita Balesni 和 Jasmine Wang 称上周被 OpenAI 解雇,并发表致管理层的公开信,认为原因是他们优先考虑安全而非公司短期利益。OpenAI 方面表示三人不当处理了机密信息,Wang 称被告知的唯一理由是她访问了一名高管的邮件,Korbak 称被口头告知问题出在他与 METR 的沟通方式。Korbak 曾是 OpenAI 与 METR 审计夏季事件的主要技术联系人,他担心 OpenAI 会借此减少与 METR 的合作。

    匹配字段标题

  4. 上观新闻

    722篇数学成果一次性开源,OpenAI该不该踩刹车?

    10月6日,OpenAI一次性开源了722篇数学成果,这些成果来自一个尚未发布的内部模型,涉及大量悬而未决的数学难题,平均每项成果仅消耗约3小时推理算力。文章指出,OpenAI承认其中部分证明未经严格检验,而AI产出答案的速度正在超过人类理解和验证答案的速度。作者认为,该放缓的不是技术进步,而是缺乏约束的裸奔,应把独立第三方安全评估、可核查的协调机制和发布者验证追责义务装进制度中。

    匹配字段标题

  5. TechCrunch AI

    被解雇的 OpenAI 安全研究员否认违规指控,警告寒蝉效应

    Jasmine Wang、Tomek Korbak 和 Mikita Balesni 三名上周被 OpenAI 解雇的安全研究员发布公开信,否认公司关于他们违规处理敏感信息的指控,并警告此次解雇释放出寒蝉效应,将影响公司文化。他们否认向 The Information 泄露有关 OpenAI 最新模型可监控性架构的信息,也否认在职责范围外与外部方接触。OpenAI 未正式回应公开信,但向 TechCrunch 提供一份内部备忘录,称解雇与提出安全关切无关。

    匹配字段标题

  6. 财联社

    OpenAI 年化营收约 500 亿美元低于此前报道,AI 概念股走低

    OpenAI 近日向投资者披露,截至 9 月底公司年化营收规模约为 500 亿美元,低于上月底市场广泛报道的 700 亿美元,英伟达、甲骨文、CoreWeave 等 AI 相关股票随之走低,纳指跌幅扩大至 1.5%。知情人士称差异源于统计口径不同,Anthropic 将云合作伙伴产生的销售收入计入营收而 OpenAI 未采用这一方式。OpenAI 同时披露第三季度整体营收运行率增长 77%,企业业务营收运行率增长 107%,并已于今年 6 月秘密提交上市文件。

    匹配字段标题

  7. Codex:GitHub Releases

    OpenAI Codex 发布 0.162.0:新增 Git worktree 工具与任务置顶

    OpenAI Codex 发布 0.162.0,新增在受信任本地项目中创建和列出托管 Git worktree 的工具,并支持在 agent Command Center 中用 p 键置顶任务。该版本还加入 /copy 复制 transcript 块、Ctrl+Insert 复制选中内容、tui.mouse_scroll_speed 调节滚轮速度,以及为自定义 Responses 兼容模型提供商配置实时网络访问和远程压缩能力。

    匹配字段标题

  8. The Decoder精选

    人类数学协会呼吁抵制 OpenAI,称 AI 生成证明淹没数学界

    人类数学协会(AHM)指责 OpenAI 违反科研基本规范,呼吁数学家停止与该公司合作,起因是 OpenAI 一次性发布了 700 多个 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在博客转发该声明并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代,Scott Aaronson 则称之为 Mathocalypse。争议焦点在于,一份证明在未被独立验证、未让人类理解之前,能否算作问题已被解决。

    匹配字段标题

  9. TechCrunch AI

    OpenAI 的数学解答尚未达到学界标准

    TechCrunch 报道称,OpenAI 本周发布数百个高难数学问题的解答,但未完全达到普林斯顿高等研究院 AGMAI 提出的准则,尤其是人类理解数学结果这一要求。719 份手稿中仅 10 份公开了模型的思维链,42% 的证明未经过形式化。剑桥大学与伦敦国王学院数学家的新论文记录了 OpenAI 针对 Navier-Stokes 方程衍生问题所给解答中,自然语言证明与 Lean 代码之间至少两处不一致,作者认为这类自动形式化证明不应未经同行评审就被信任。

    匹配字段标题

  10. TechCrunch AI

    OpenAI 年化收入据报比此前预期低 200 亿美元

    据《金融时报》报道,OpenAI 已告知投资人其年化收入“接近 500 亿美元”,比此前流传的接近 700 亿美元低约 200 亿美元。此前 700 亿美元的数字来自 OpenAI 投资人试图与 Anthropic 年化收入做直接对比的推算,而两家公司计算年化收入的方式不同,Anthropic 会计入云合作伙伴的销售额,OpenAI 不计入。OpenAI 今年 3 月一轮融资筹集了 1220 亿美元,其此前传闻今年落地的 IPO 已推迟至 2027 年初。

    匹配字段标题

  11. The Verge AI

    USA Today 起诉 OpenAI,索赔超 2.5 亿美元

    USA Today 公司及其旗下多家地方报纸起诉 OpenAI,指控其未经授权复制“数十万篇”文章用于训练 AI 模型。该出版商在周四提交的文件中索赔超过 2.5 亿美元,称 OpenAI 未经授权使用其内容已对旗下媒体造成“真实且持续”的损害。OpenAI 未立即回应 The Verge 的置评请求。

    匹配字段标题

星期四

  1. The Verge AI

    Meta Muse 与 OpenAI Dots 能否托付日常事务

    The Verge 资深 AI 记者 Hayden Field 在 Decoder 播客中对比 Meta Muse 与 OpenAI Dots 两款消费级 AI 智能体。Muse 免费并深度接入 Meta 平台,Dots 面向每月 100 至 200 美元订阅用户并推出营销、法律、会计等专业版本。她认为两者都源自 OpenClaw 的模型加执行环境思路,目前仍不够稳定,隐私与数据授权是用户是否托付的关键。

    匹配字段标题

  2. Timothy B. Lee:Understanding AI精选

    TypeSafe AI 发布概率输出模型 Jev,OpenAI、Cloudflare、Amazon 跟进同类设计

    TypeSafe AI 于 9 月 15 日结束隐身状态并发布新模型 Jev,它不输出自由文本,而是针对是/否、多选或评分类问题输出各选项为正确答案的估计概率。该模型在 Twitter 获得近 4000 万次浏览,一周内超 10 万人加入其 Discord,GitHub 上约 2000 个项目使用它;公司 9 月 20 日开放注册,两天后因需求激增暂停,27 日恢复。作者用 Jev 判断个人博客评论是否为垃圾评论,认为它比此前使用的 Gemini 3 Flash 更快更便宜,且输出可直接作为 if 语句条件,同时无需微调即可跨主题通用。Cloudflare、Amazon 和 OpenAI 也已推出相同基本设计的模型。

    匹配字段标题

  3. gihyo.jp精选

    OpenAI 在 ChatGPT 上线 GPT-6 Sol/Luna 与 Intelligent UI

    OpenAI 于 10 月 7 日宣布在 ChatGPT 的 Chat 标签页提供 GPT-6 Sol 和 GPT-6 Luna,并推出新功能 Intelligent UI。Intelligent UI 让模型按问题选择回答形式,可组合文字、图表以及可点击按钮和输入表单,还能在思考结束前就开始输出回答。Plus、Pro、Business、Enterprise 从发布日起陆续获得 GPT-6 Sol,Free 和 Go 则从次日开始使用 GPT-6 Luna;Pro 设置中仍使用 GPT-6 Astra,不支持 Intelligent UI。

    匹配字段标题