CASE EVIDENCE / A RECORD

PrashanthBhaskara / ProphetHacks 使用 Grok 4.20 0309 处理真实任务执行

PrashanthBhaskara / ProphetHacks 公开的真实任务执行案例，来源为公开代码库，复核于 2026-06-27T09:08:24Z。

原始记录：ProphetHacks 将 Grok 4.20 作为 Kalshi/预测市场集成预测器的一路模型

Chinese Brief

中文案例导读

PrashanthBhaskara / ProphetHacks 公开的真实任务执行案例，来源为公开代码库，复核于 2026-06-27T09:08:24Z。 Model Atlas 将它标记为 A 类证据，因为它同时具备具体使用者、具体任务、公开原始证据和可访问产物。 Model Atlas 不把 benchmark、教程、发布说明或集合页包装成真实案例。

厂商xAI / Grok

模型Grok 4.20 0309

任务类型真实任务执行

审核状态auto_approved

任务

真实任务背景

ProphetHacks 在预测市场系统中实现 Grok-via-OpenRouter forecaster，代码注释明确称其调用 Grok-4.20 through OpenRouter，并为 Kalshi-style markets 设计 trust-extreme calibration prompt、二向提示和噪声过滤。配置 FINAL.json 中 grok_lane 的模型为 x-ai/grok-4.20。

真实任务执行公开代码库A 类可核验real_case

公开产物

公开代码记录该 Grok forecaster 在 2026 Sports holdout 上通过噪声过滤组合取得 Brier 0.203，对比市场基线 0.212，并作为集成预测管线的一路模型输出概率预测。

模型作用

Grok 4.20 负责生成预测市场的概率判断；系统围绕其校准弱点加入 trust-extreme 提示、P(YES)/P(NO) 双向询问和过滤策略，使其预测可被集成器加权使用。

风险边界

这是公开仓库中的应用代码与验证说明，不是官方客户故事；模型以 OpenRouter x-ai/grok-4.20 形式出现，可绑定 Grok 4.20 0309 家族。