想看AI如何实时生成准确F1策略讲解？这篇论文用蒙特卡洛引擎+事实验证系统，在真实比赛中实现了91%的胜者预测准确率。
论文提出Pitwall系统，将自然语言F1策略简报的忠实性作为架构属性：每个句子分解为位置、差距、轮胎等类型的事实声明，并由触发该句的概率比赛状态验证。系统基于向量化蒙特卡洛引擎（每圈N=2,000次比赛推演），在126场比赛（2018-2024）上校准，在完全留出的2025-2026赛季（155次回测中前三名正确率90.3%，Brier分数0.0745）验证。训练数据：3,045个模型编写目标中，仅保留81.9%所有声明均被状态支持的目标，其余回退到可证明忠实的模板。在2026年奥地利和英国大奖赛上完成端到端运行；银石站中，概率轨迹在比赛结束前10圈锁定最终胜者。
Pitwall: Faithful Natural-Language Race-Strategy Briefings from a Calibrated Real-Time Monte Carlo Engine
Live sports commentary is grounded generation under a deadline: statements concern real, named athletes, the grounding state changes every few seconds, and no reference text exists at generation time. We present Pitwall, a production system that generates natural-language Formula 1 strategy briefings in English, Spanish, and Portuguese, treating faithfulness as an architectural property rather than an aspiration: every published sentence is decomposed into typed factual claims (positions, gaps, tyres, pace, overtakes, race control) and each claim is verified against the probabilistic race state that prompted it. The same verifier gates the fine-tuning data: of 3,045 model-written targets, only the 81.9% whose every claim is state-supported are retained, the rest falling back to a provably faithful template, so the generator never sees an ungrounded target. Verification is meaningful because of the grounding substrate: a vectorized Monte Carlo engine (N=2,000 per-lap race continuations) calibrated on 126 races (2018-2024) and validated on fully held-out 2025-2026 seasons (winner-in-top-3 90.3% over 155 backtests; held-out Brier 0.0745). A recurring finding spans both halves of the system: virtues trade off and must be gated separately. In simulation, calibration-optimal is not decision-optimal; in generation, fine-tuning on richer targets buys vividness that collapses into hallucination when the grounding state is sparse -- a failure a four-base replication traces to base-model instruction adherence, not scale, and that sparse-context auditing removes from the production model. End-to-end operation -- live timing to verified trilingual briefings -- was confirmed at two consecutive live Grands Prix (Austria and Britain, 2026); at Silverstone a timestamped probability trace, committed to disk before the outcome was known, locked onto the eventual winner ten laps before the flag.