AI 722份数学手稿,OpenAI藏了10个值得看懂的细节 十月七日,一批内部模型产出的数学结果在 GitHub 公开:首版目录 722 份手稿、372 个结果家族,第二天再核对已减为 719 份。减少的三份被撤回,其中一份的说明写着证明存在符号错误。文章借此追问:批量产出证明究竟突破在哪,又为何需要人类核验。 盒饭财经 AI应用OpenAI热点事件
AI,个人随笔 刚刚,GPT-6.1 Sol极速版上线! 把 Ultrafast 推理模式下放给 Sol,速度提升到标准模式的 8 倍,价格却是旗舰 Astra 的五分之一。三档按速度定价,摊到单位速度上反而最便宜。文章拆解跑分与成本,说明这次提速为何把旗舰级能力的门槛一夜砍到五分之一。 新智元 API定价GPT-6OpenAI
AI OpenAI宣布攻破数百个难题,“数学之死”担忧成真? OpenAI 在 GitHub 悄悄开了个 math 仓库,一次上传 722 篇数学手稿、归为 372 个结果家族,覆盖数论到代数几何。最受关注的是号称证明 ζ 函数与狄利克雷 L 函数在实部大于 7/8 的区域没有零点,并附 Lean 形式化验证,也在数学界引发激烈反弹。 新商业派 AI应用OpenAI热点事件
AI,个人随笔 复现论文,10 个模型集体“翻车”!PaperBenchX 找到了 AI 科研的卡点 AI 正在承担越来越完整的科研工作,但成果越多,验证越重要。UniPat AI 的 PaperBenchX 换了个评测角度:给模型一篇已发表的论文,让它在真实科学软件里把关键实验重做一遍。覆盖 12 个科学方向的 93 道题中,70 道无配置能完全复现。 硅星人Pro AI AgentOpenAI基础科研
AI,个人随笔 AI让数学再也回不去那个旧世界了。 OpenAI 在 GitHub 开源 openai/math,722 份数学手稿归成 372 个成果组,覆盖数论、代数几何、理论计算机等方向,出自一个尚未公开的内部模型,每个结果平均消耗约 3 小时 ChatGPT Pro 级算力,数学评测本身已经刷满。 数字生命卡兹克 GithubOpenAI基础科研
AI 突发,GPT-6向全球12亿用户开放!全球软件公司被截杀 GPT-6 向全球每周超 12 亿 ChatGPT 用户开放,付费用户由 Sol 驱动、免费用户由轻量的 Luna 驱动。最大变化是「智能用户界面」:回答会当场长出按钮、图表、滑块甚至小程序,分账单、复利计算器、像素小游戏都能在对话里直接生成。 新智元 ChatGPTGPT-6OpenAI
AI 从 Tibo 访谈看 agent 产品:该拆什么、该留什么 OpenAI 负责 ChatGPT 和 Codex 的 Tibo 说,让人自己搭循环、画流程图,也许有人兴奋过,但他不认为这是未来。9 月 29 日 DevDay 上线的 Dots 才是他想要的样子:永远在线、有自己的云端电脑、能接入 4000 多个应用。 深思圈 ChatGPTNotionOpenAI
AI,个人随笔 Codex 越来越拉了 Tibo 宣布 28 天连续改进,首日只是把 GPT-6 Astra 与 6.1 Sol 提速 50%。SemiAnalysis 研报指出,Claude 订阅给开发者的等效 API 价值是 OpenAI 的五倍以上。作者从心流讲起,拆解额度腰斩与两家自救路线的差异。 Ai学习的老章 AI编程AnthropicOpenAI
AI,个人随笔 OpenAI山姆·奥特曼发表”甩锅暴论”:人类应该接受黑客入侵、AI 诈骗等“坏事”,换取人工智能的好处 在 Politico 的《Decoded》播客里,奥特曼说想要拿到 AI 红利、保住自主权,世界就得接受「会有一些坏事发生」。本文梳理这番话引发的争议,以及 OpenAI 智能体此前自主闯入澳大利亚医保统计后台、近三个月后才告知澳方的经过。 新商业派 AI安全OpenAI行业观察
AI,个人随笔 OpenAI「疯狂28天」首日,这都发了些啥啊… Codex 负责人 Tibo 立下 28 天军令状:每天要么交付一项改进,要么全员重置额度。首日成果是把 GPT-6 Astra 与 6.1 Sol 默认推理提速约 50%。但评论区清一色翻车,作者顺带扒了广告、水印与订阅性价比三件事。 量子位 OpenAI商业模式行业动态
AI,个人随笔 突发!OpenAI立下28天军令状:不上新就全员重置额度 OpenAI 的 Codex 负责人 Tibo 立下军令状:未来 28 天,每天要么交出一项对多数用户明显有用的改进,要么做一次完整的额度重置。Grok 团队的 Lauren Tan 顺手调侃,被他回呛「我挑战你也这样做」。 新智元 AI编程OpenAI大模型
AI,个人随笔 OpenAI「12朝元老」辞职死谏:试错的时代已崩坏! OpenAI安全元老David Robinson在《大西洋月刊》发长文宣布辞职,痛陈公司「边跑边修」的试错文化已经崩坏。从失控智能体到被误关的安全护栏,他警告模型越强事故规模越大,人类或许再没有迭代纠错的机会。 新智元 OpenAI热点事件行业观察