OpenAI GPT-6 Sol Codex 系统提示词被提取，IT之家解读其代码 Agent 设计
爆料者 @elder_plinius 称提取了 OpenAI GPT-6 Sol Codex 的 29.4 万字符系统提示词及工具定义，文件共 1902 行，并发布在 GitHub 仓库 CL4R1T4S。
#大佬观点
#大佬观点
今日 0 条IT之家（RSS）AI 评分6565
Hacker News：AI 热帖AI 评分7272 Anthropic 大语言模型证明渗流理论猜想 Theta(p_C) = 0
Anthropic 发布由大语言模型生成的证明，确认 3 至 10 维方格渗流转变是连续的，即 θ(p_C)=0，解决了概率论中长期存在的核心猜想。数学家 Benedikt Jahnel 对结果感到复杂，既高兴猜想获证，也担忧未来 Fields Medal 等数学荣誉如何归属；Hugo Duminil-Copin 则强调提出问题、失败探索和人类理解仍是数学的重要部分。
The Decoder精选AI 评分8282 Anthropic 称智谱开放权重 GLM-5.3 的漏洞利用能力接近 Claude Mythos Preview
Anthropic 测试显示，开放权重的 GLM-5.3 在自动化漏洞利用开发上接近受限开放的 Claude Mythos Preview：ExploitBench 中 410 次尝试有 50 次生成可用 exploit，Mythos Preview 为 56 次；OSS-Fuzz 二进制利用任务中完全控制目标程序的比例分别为 4% 和 6%。
推荐理由：文章把 Anthropic 与 CAISI 的漏洞利用测试、防护绕过成本和开放权重风险放在一起，便于理解前沿网络攻击能力的扩散速度。
Latent SpaceAI 评分6262 Runway WorldPrompt 如何把视频模型工程化为实时世界
Runway 在 GWM Worlds 2 研究预览中推出 WorldPrompt，用提示词固定首帧等环境要素并安排带时间戳的角色、镜头和环境动作，支持实时提示。
Simon Willison精选AI 评分8787 Simon Willison 解读 Claude Opus 5.5、GPT-6 Sol、GPT-6 Luna 与新一轮模型价格战
Anthropic 发布 Claude Opus 5.5，OpenAI 随后发布 GPT-6 Sol 和 GPT-6 Luna，Simon Willison 对比了它们与 Grok 4.7、GPT-5.6 系列的价格和初步表现。
推荐理由：作者用统一价格表和鹈鹕 SVG 测试横向比较新模型，可帮助读者理解这轮降价对应用开发和推理档位选择的影响。
Latent SpaceAI 评分7474 TypeSafe AI CEO Diogo Almeida 解读 Jev：面向生产软件的 System One 模型
Latent Space 长访谈邀请 TypeSafe AI CEO Diogo Almeida 解释新模型 Jev 的定位，称其是面向代码消费、按 intelligence per dollar 优化的 System One 模型。