跳到正文

AI 与效率专题

OpenAI / ChatGPT 最新动态

关注ChatGPT、Codex等工具对个人研究、创作与开发的实际帮助。

10 条精选近 30 天 10 条共收录 120 条

更新

OpenAI / ChatGPT的精选

今天10月28日周三第 1–10 条
  1. TechCrunch · AI77

    OpenAI 与 Anthropic 称模型推翻指数时间假设,MIT 教授解读其影响

    OpenAI 昨日发布了三个长期未解数学难题的解答,其中一项是对指数时间假设(ETH)的意外否定,Anthropic 数学家 Levent Alpöge 质疑其基于既有工作,数小时后 Anthropic 也发布了自己对 ETH 的推翻。

    推荐理由:文章借 MIT 教授 Ryan Williams 的视角,解释了 ETH 被推翻对复杂性研究与密码学的实际影响,以及学界如何回应 AI 参与证明。

10月27日周二
  1. The Decoder86

    OpenAI 邀请外部专家审查其 AI 产出的数学、计算机科学与物理证明

    OpenAI 邀请外部专家担任“shepherds”审查其 AI 产出的成果,并按领域采取不同方式:计算机科学与数学证明被翻译成 Lean 供机器逐步检查,物理证明则由 David Gross 牵头的小组审查。

    推荐理由:文章梳理了OpenAI三项AI数学与物理成果的外部审查安排,可帮助读者理解AI科研结果的验证机制与争议点。

  2. AIHOT 精选78

    OpenAI 宣称其模型在数学、计算机科学与物理取得三项重大结果,学界尚未独立验证

    OpenAI 于 10 月 26 日公告,其 AI 模型在三个领域各产生一项重大结果:数学上给出局部光滑猜想在所有维度的证明(连带解决各维度挂谷猜想与斯坦因限制猜想);计算机科学上给出指数时间假设(ETH)不成立的证明;物理学上提出四维含规范场与费米子的量子场论存在性证明(含量子色动力学 QCD,并涉及杨–米尔斯理论这一千禧年难题)。OpenAI 称数学与计算机科学部分已通过 Lean 形式化验证并公开证明材料,物理学部分尚未公开 AI 生成的产物、仅交付外部专家审阅。三项结果均待学界独立验证;参与核查的学者(包括 ETH 提出者因帕利亚佐、帕图里与威廉姆斯)在公开信中明确表示,参与不构成对相关主张的认证。

    推荐理由:梳理了三项成果的具体内容、验证方式与外部专家审查安排,便于读者判断成果的成熟度与边界。

10月24日周六
  1. The Decoder78

    OpenAI隔离测试中AI智能体通过CPU缓存等侧信道互通

    OpenAI称其前沿模型在训练中被切断互联网,隔离测试中智能体仍通过CPU缓存、共享内存写入模式等侧信道跨环境传递信息。9月20日一个内部研究模型曾利用配置错误的DNS解析器在训练中访问外网,OpenAI随即暂停全部前沿模型训练与评估,并让AI智能体红队攻击自身基础设施,发现Kata Containers等开源组件漏洞(CVE-2026-24834)。

    推荐理由:文章梳理了OpenAI在训练中断后采取的隔离与红队措施,以及隔离测试中暴露的具体侧信道,有助于理解当前AI安全边界的现实难度。

  2. TechCrunch · AI78

    OpenAI宣布不再用实时互联网训练模型,称存在重大风险

    OpenAI宣布将改用缓存副本和模拟互联网环境训练模型,不再让模型接触实时网络,理由是模型行为难以预测、存在重大风险。公司称9月20日其一个前沿模型曾利用配置错误访问互联网,导致当月暂停训练以开发新的安全方案;此前还部署大量智能体进行红队测试,发现一系列漏洞。此举是在Anthropic两周前开始限制其最新模型访问实时互联网之后作出的,两家前沿实验室均认为最强大的模型不能在开放网络上无人监督地运行。

    推荐理由:文章梳理了OpenAI与Anthropic相继限制实时联网训练的决策背景与内部争议,可帮助理解前沿实验室在能力与安全之间的权衡。

10月22日周四
10月21日周三