跳到正文

OpenAI / ChatGPT

OpenAI 的全部动态:GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。

当前仅显示精选新闻

最新精选

第 461–480 条 · 共 520 条
5月22日周五
  1. @OpenAIDevs69

    OpenAI 宣布 Codex 的 /goal 已从实验功能转正,goal mode 现可在 Codex app、IDE Extension 或 CLI 中使用。用户给出一个具体里程碑后,Codex 会持续工作直到完成,甚至跨越数小时或数天;过程中可以随时查看并引导,也可以中途暂停 Codex。官方提示可用 side chats 了解已完成的工作,而不必打断主任务,说明链接为 developers.openai.com/codex/prompting#goal-mode。

    推荐理由:goal mode 由实验功能转为正式可用,读者可据此了解 Codex 在跨小时任务上的执行与介入方式。

5月21日周四
  1. @kimmonismus86

    OpenAI 称其内部推理模型自主推翻了数学家 Paul Erdős 在 1946 年提出的平面单位距离问题猜想,找到了比正方形网格更优的新点构型,性能提升为固定多项式因子。

    引用OpenAI (@OpenAI)@OpenAI

    Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics. Video

    推荐理由:OpenAI 称推理模型自主推翻 Erdős 猜想,作者补充了选题由 OpenAI 决定这一前提,便于读者评估结论边界。

  2. @AYi_AInotes69

    AI 处理数学问题的思维链长达125页,大部分时间用于构造反例,而非死磕证明,OpenAI 目前已公开精简版。数学家 Gowers 在审稿中表示,评估 AI 生成证明的重要性时他会问它是否教给我们关于这个问题的新东西,他认为答案是肯定的,这显示代数数论在离散几何里还有大量我们从未发现的连接。

    推荐理由:材料点出 AI 解题的思维链长达125页且多在构造反例,并附上数学家 Gowers 的审稿评价,可看到 AI 参与数学研究的实际形态。

  3. @AYi_AInotes79

    OpenAI 宣布其模型推翻了数学界近 80 年对平面单位距离问题的判断,找到一整族比方格子效率更高的新构造。该问题由 Paul Erdős 在 1946 年提出,模型借助无限类域塔、Golod–Shafarevich 理论等代数数论工具求解,125 页思维链已公开并经数学家验证。

    引用OpenAI (@OpenAI)@OpenAI

    Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics. Video

    推荐理由:原文呈现 AI 自主解决数学开放问题的过程,读者可了解它如何把冷门数论工具带入几何难题。

  4. @sama68

    Sam Altman 在 X 上列出其最期待的 AGI 三个方向:加速科研、加速公司,以及让个人 AGI 帮助每个人实现目标。他提到当天公布了 unit distance 结果,前一天宣布向每家 YC 公司投资 200 万美元的 OpenAI 额度,并表示接下来需要加大对第三个方向的投入。

    推荐理由:Altman 列出 AGI 三个推进方向,并披露给 YC 公司投放 OpenAI 额度,读者可据此看到他当前的关注重心。

  5. @polynoamial79

    OpenAI 分享称,一个通用内部模型在平面单位距离问题上取得突破,推翻了数学界近 80 年来认为最优解近似方格网格的看法,发现了一族性能更优的全新构造。该问题由 Paul Erdős 于 1946 年提出,OpenAI 称这是 AI 首次自主解决数学领域一个著名开放问题。作者提到不到 1 年前前沿 AI 模型还处于 IMO 金牌水平,并预期这一进展速度会持续。

    引用OpenAI (@OpenAI)@OpenAI

    Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics. Video

    推荐理由:OpenAI 称其内部通用模型推翻平面单位距离问题近 80 年的网格假设,读者可据此判断 AI 自主做数学研究的进度。

  6. @SherylHsu0276

    OpenAI 表示其模型在平面单位距离问题上取得突破,推翻了数学家近 80 年来认为最优解接近方格网的判断,并发现了一类表现更好的全新构造。该问题由 Paul Erdős 于 1946 年提出,OpenAI 称这是 AI 首次自主解决数学领域一个重要开放问题。转发此消息的作者称训练这个模型的经历让当下成为特别的时刻。

    引用OpenAI (@OpenAI)@OpenAI

    Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics. Video

    推荐理由:OpenAI 模型推翻了数学界近 80 年的判断,可作为观察 AI 自主数学发现能力的一个参照。

  7. @OpenAI69

    OpenAI 表示,一项离散几何猜想的证明由一个通用推理模型给出,而不是专门为解数学题或该问题构建的系统。该结果被视为数学与 AI 社区的一个重要里程碑,详情见 https://openai.com/index/model-disproves-discrete-geometry-conjecture/。

    推荐理由:OpenAI 说明该证明出自通用推理模型而非专为数学问题打造的系统,读者可据此了解结果在数学与 AI 交叉领域的意义。

5月20日周三
  1. @bosmeny68

    Sam Altman 在 Y Combinator 活动上提出,向当前批次的每家 YC 创业公司提供 200 万美元的 OpenAI tokens,以换取股权。发帖者 @bosmeny 将其类比为 Yuri Milner 当年在 Sam 还是 YC 合伙人时对每家创业公司的投资,并期待这批创始人用上这些 token 后能做出什么。

    推荐理由:作者把这次 offer 类比 Yuri Milner 当年对每家创业公司的投资,可看到 YC 批次获得算力支持的一种方式。

  2. @AYi_AInotes70

    Google 在 I/O 上发布 Gemini 3.5 Flash,称其智能与顶级模型相当但输出速度是其他前沿模型的 4 倍,并当天面向所有人开放。作者认为配套的 Antigravity 平台提供桌面端、CLI 和 SDK 全栈开放,目标是做 Agent 时代的 AWS,而 Spark 个人 Agent 只是示范。

    引用Sundar Pichai (@sundarpichai)@sundarpichai

    Just off stage at #GoogleIO, some highlights from this morning 🧵 Gemini 3.5 Flash is available today for everyone in @antigravity and across our products and APIs. Compared to 3.1 Pro, 3.5 Flash is better across almost all benchmarks with huge progress in coding. It’s also comparable to the best models but very fast (4x faster tokens/ second than other frontier models). And when looking at the intelligence versus output speed, it’s in a league of its own in the top right quadrant.

    推荐理由:把胜负手从模型智力转向智能乘速度乘可部署性,作者给出 Google Agent 基础设施的另一种解读。

  3. @AYi_AInotes83

    Andrej Karpathy 在 X 上宣布加入 Anthropic,称未来几年处于 LLM 前沿的关键形成期,将回归 R&D,同时表示仍热忱于教育并计划适时继续相关工作。转发此事并作解读的作者认为,这条帖子里最关键的词是 formative,其判断指向 LLM 下一次跃迁大概率沿安全与极致能力结合的路径推进。

    引用Andrej Karpathy (@karpathy)@karpathy

    Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.

    推荐理由:作者从 Karpathy 官宣措辞中的 formative 一词切入,解读这次人事变动所指向的技术路线倾向。

5月19日周二
  1. @berryxia80

    Andrej Karpathy 在 X 上宣布已加入 Anthropic,将重返一线从事 R&D。他表示未来几年 LLM 前沿会特别具有塑造力,并称仍对教育充满热情、计划适时恢复相关工作。他此前是 OpenAI 创始团队成员、Tesla AI 前总监。

    引用Andrej Karpathy (@karpathy)@karpathy

    Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.

    推荐理由:Karpathy 宣布加入 Anthropic 并重返一线 R&D,他此前是 OpenAI 创始团队成员和 Tesla AI 前总监。

  2. @berryxia78

    Andrej Karpathy 官宣加入 Anthropic。他在推文中表示,未来几年 LLM 前沿会特别具有塑造力,他很兴奋回到团队做 R&D,并称仍热爱教育、计划适时恢复相关工作。转发该消息的 Berryxia 提到,Karpathy 是前 OpenAI 创始团队成员、Tesla AI 前总监。

    引用Andrej Karpathy (@karpathy)@karpathy

    Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.

    推荐理由:Karpathy 从教育与顾问角色重返前沿实验室,为观察大模型竞争的人才流向提供了一个新样本。

  3. @op741865

    英伟达开始交付自研通用 CPU NVIDIA Vera,主要面向长期高并发高吞吐场景,用于 Agent 编排和工具调用的中枢。作者指出模型在 GPU 上推理,而调度编排和调用工具放在该 CPU 上,密集 Agent 常驻带来的强 IO、内存和调度压力由 CPU 承担。此次交付由英伟达上门送至 Anthropic、OpenAI、xAI、OCI,其中 xAI 由马斯克接待。

    引用NVIDIA (@nvidia)@nvidia

    NVIDIA’s Ian Buck hand-delivered the first-ever NVIDIA Vera CPUs to our partners @AnthropicAI, @OpenAI, @SpaceX, and @OracleCloud. 🎉 Vera is NVIDIA's first custom CPU, purpose-built for the age of agentic AI. This is just the beginning. The road to Vera-powered systems starts here. Thank you to our partners for being on this journey with us. The best is yet to come. 💚 Video

    推荐理由:英伟达把自研 CPU Vera 定位为 Agent 编排与工具调用的中枢,交付对象透露出这类常驻负载的硬件思路。

5月17日周日
5月16日周六
  1. @AYi_AInotes65

    GPT 新上线个人理财子功能,可一键安全连接银行、信用卡与券商账户,用自然语言提问而无需下载多个 App。它会扫描订阅并指出哪些会员可取消、能省多少钱,分析投资组合中被误认为分散的重叠风险,并结合现金流、收入和本地房价税率给出买房区间。

    推荐理由:ChatGPT 把个人理财收进子功能,读者可观察通用助手整合银行账户与订阅管理的替代路径。