新闻速览

seLaoban：两名中国游客在马来西亚失联细节披露！友人呼吁公众提供线索

2025-10-13

seLaoban

我们已经为 Codex 发布了大量新功能，它现在运行在新的 GPT-5 Codex 模型上，这是一个专门为 Codex 和代理解码训练的 GPT-5 版本。这个模型更擅长诸如代码重构和代码审查之类的任务，并且它可以根据任务的复杂性动态调整其思考时间。开发者喜欢这个新模型，Codex 的使用量增长非常快。我们用于观察这一点的关键指标之一是每日消息数，即开发者每天与 Codex 进行的任务和对话的数量。自8月初以来，Codex上的每日消息量增加了10倍。而且这种快速的使用也帮助GPT-5 Codex成为我们有史以来增长最快的模型之一。自发布以来，我们已经通过该模型提供了超过40万亿个token。，两名中国游客在马来西亚失联细节披露！友人呼吁公众提供线索

seLaoban

张秀臣致辞

例如 AERO 项目，目标是发展开源软件生态，优化硬件效率并促进微处理器在云端的集成和应用；Riser 项目，旨在开发首个全欧洲的 RISC-V 云服务器基础设施；Excellerat 项目，可以将重要的工程和制造领域的高性能计算应用程序移植并优化到 Rhea 上；Emopass 项目，与其他厂商合作的国家级项目，负责优化 Rhea 在特定高性能计算应用中的性能与能耗。

孙果魁主持会议

刘洋报告

白宫于当地时间10月4日宣布，美国总统特朗普决定向伊利诺伊州芝加哥市部署国民警卫队，授权派遣300名国民警卫队员保护芝加哥的联邦官员和资产。

揭兆永作报告

避免过度监管：对于能力较弱的模型，不应该施加过多的监管负担。他以欧洲为例，认为那种全面性的严苛监管可能会完全扼杀创新生态，这将是一个非常糟糕的结果

石维元报告

负责人表示，整个清理清运工作量不小，“东西实在太多了，工人来回下楼跑太多，后来从三楼阳台窗户直接就往下扔。从10月5号早上一直拉到半夜12点多。白天开始是小车，估计拉了10车；晚上7点到12点是两个大车，拉了两车。”

赵庆林作报告

这次徒步，小鸣就遇到了不少经验不足的徒步者，有人甚至是第一次参加，却直接挑战珠峰东坡这类顶尖路线。“很多商团收钱就带人，根本不问经验。”他提到，正规操作应提前核实徒步者的高海拔经历、露营经验，尤其是是否具备五天以上的负重徒步能力。但现实中，不少商业团队为追求利润，降低门槛，导致团内徒步者高反、失温等情况频发。“第一天我就看到路上很多人高反，有些团队连适应时间都没留够。”

张丙武作报告

• GPT Realtime Mini ：一款更小、更经济的语音模型，价格比之前的版本便宜70%，但保持了同样高质量的语音和表现力，旨在推动语音成为人机交互的主流方式。

李林明作报告

预训练指令微调模型： Qwen2.5-7B/14B-Instruct（无论是否使用 CoT）在任务中的表现都较差，F1 分数低于 30，这表明仅依靠提示并不足以实现精确的片段级定位。预训练推理模型：具备推理能力的模型（如 QwQ-32B、Qwen3-8B、Qwen3-14B）在幻觉检测任务中能够迁移部分推理能力。例如，Qwen3-14B 在摘要任务上的 F1 提升至 35.8，而 Qwen2.5-14B-Instruct 仅为 32.9。然而，这些模型的表现仍落后于微调模型，这说明仅具备一般推理能力还不足以胜任片段级幻觉检测任务。微调基线模型：监督微调显著提升了性能，在 14B 规模下 F1 达到 55.4。RL4HS 模型：RL4HS 在所有基线模型之上表现出一致的优势，包括专有模型 GPT-4o/5-mini、GPT-5 和 o3。RL4HS-7B 在三个任务上的平均 F1 达到 55.9，显著优于 SFT 的 50.1。在 14B 规模下，RL4HS-14B 在摘要、问答和数据到文本任务上分别取得 57.6、54.8 和 62.6 的成绩，超越了 Qwen3 系列以及表现最强的 GPT-5 和 o3 模型。