Kalshi AI — Mispricing Audit

Report date 2026-07-07 · Horizon 45 days · Capital $1,000 · Methodology v3.1 (conviction-weighted, EV-agnostic sizing; resolver-priced probabilities) · Picks in this report count toward the public track record and are cleared for auto-copy.

Headline: zero picks — 100% cash CASH IS THE POSITION

Fifteen AI-theme markets passed the liquidity screens; ten survived to full diligence; none cleared the v3 conviction and entry-band gates. The 60–90¢ favorite band — the only band where this program has historically made money — contained three candidates, and each failed on the merits: one had already run 50¢ on a single-source launch leak, one carries an unpriceable resolver risk (will Arena re-add claude-fable-5?), and one crashed 25¢ in 72 hours on resolver information that is not publicly verifiable. Every remaining "edge" my models found lives in sub-35¢ tails — exactly the band the resolved v1/v2 record shows going ~0-for. Under v3 rules the correct book this week is no book. All ten diligenced candidates are logged below as shadow-tracked rejects.

1. How this was researched

Mode: theme-match. Kalshi has no AI category (categories present: Sports, Crypto, Elections, Climate and Weather, Entertainment, Financials, Economics, Mentions, Politics, Commodities, Science and Technology, Companies, World, Social, Health, Transportation), so markets were selected by keyword across all categories. Search terms over event and market titles: openai, ai, artificial intelligence, anthropic, claude, gpt, chatgpt, gemini, grok, xai, nvidia, deepseek, mistral, agi, llm, superintelligence, sam altman, fable, ai model, plus a second sweep for superintel, altman, data center, chip, semiconductor, robot, compute, frontier, model, mythos, agent. (The term "llama" was dropped after it matched ATP tennis player Pablo Llamas Ruiz.) This returned ~400 active markets closing within 45 days, dominated by NVIDIA GPU compute-price ladders (~300 legs) and AI release/leaderboard markets.

Stage-1 screens (volume24h ≥ 1,500, spread ≤ 5¢, not priced ≥95¢/≤5¢, no Mentions markets, no already-published feed picks) cut this to 7 strict passes plus 3 near-misses carried into diligence. For each survivor I pulled full rules text (mirror DB + Kalshi public API rules_primary/secondary), 14-day price history from 5-minute snapshots, the live orderbook, and primary-source news. Four tickers from the existing feed (KXGPT-OPEN-26JUL09, KXMATHAI-26JUL31-GEMI, KXTOPMODEL-26JUL31-CLAUF, KXFABLERESTORE-27-26JUL17) were excluded from candidacy up front.

The week's context, in one paragraph (it drives every verdict below): Claude Fable 5 launched Jun 9 and topped every Arena leaderboard (~1525), was suspended worldwide Jun 12 under a US export-control directive, and was removed from Arena's leaderboards. The directive was lifted Jun 30 and Anthropic restored Fable 5 globally on Jul 1 — but Arena has not re-added it (daily changelog silent through Jul 7). Meanwhile OpenAI previewed GPT-5.6 (Sol/Terra/Luna) on Jun 26 to ~20 trusted partners behind a government safety review, with a leaked internal GA target of Jul 7–9 — and Kalshi's GPT ladder puts ~75% on GA landing exactly Jul 9. Google's Gemini 3.5 Pro is priced ~80% to ship before Jul 31. Nearly every liquid AI market this week is a derivative of these three unresolved events.

2. Markets reviewed

TickerQuestionYES bid/askVol 24hOIVerdict
KXGPT-OPENB-26JUL10GPT-5.6 released before Jul 1082 / 8317,33235,652REJECT — already moved, leak-grade
KXLLM1-26JUL31-AAnthropic top-ranked LLM Jul 3181 / 8210,44534,650REJECT — negative edge at ask
KXLLM1-26JUL31-OAIOpenAI top-ranked LLM Jul 316 / 78,30931,175REJECT — no edge either side
KXTOPMODEL-26JUL13-CLAUTopus-4-6-thinking top model Jul 1392 / 933,8235,448REJECT — resolver risk > cap
KXTOPMODEL-26JUL13-CLAUFclaude-fable-5 top model Jul 136 / 73,5983,988REJECT — tail, lottery withheld
KXMATHAI-26JUL31-CLAUClaude #1 Arena Math Jul 3160 / 613,1317,232REJECT — resolver unverifiable
KXCODEAI-26JUL31-CLAUClaude top on Datacurve DeepSWE Jul 3149 / 512,77615,276REJECT — coin-flip band
KXCODEAI-26JUL31-CHATChatGPT top on Datacurve DeepSWE Jul 3150 / 524875,435REJECT — coin-flip band, illiquid
KXGPT-OPENB-26JUL15GPT-5.6 released before Jul 1588 / 8932014,489REJECT — zero edge, illiquid
KXLLM1-26JUL31-GOOGGoogle top-ranked LLM Jul 3113 / 141,25419,158REJECT — two-leg parlay tail
KXGPT-OPENB-26JUL31GPT-5.6 released before Jul 3196 / 971,42523,308Stage-1 skip (≥95¢, fully priced)
KXCLAUDE-NXTMYTH-26AUG01Next Mythos-class model before Aug 14 / 52,0361,771Stage-1 skip (≤5¢, fully priced)
KXCHAICUTS-26AUG06-T1AI is #1 Challenger job-cut reason43 / 4842708Stage-1 skip (volume, spread)
KXANTHROPICRESCIND-26JUN-26AUG01DoD/WH rescind announcement re Anthropic33 / 34161,497Stage-1 skip (volume)
KX*WS / KX*MS / KX*MON laddersNVIDIA GPU compute-price ladders (~300 legs)Stage-1 skip: every liquid leg ≥95¢ or ≤5¢; mid-curve legs <1,500 vol or >5¢ spread

3. Top picks

None. This is a deliberate output, not an omission. The v3 methodology sizes only what survives (a) a conviction tier that is defensible from source quality and rules clarity, (b) the entry-band screen that restricts 35–60¢ coin-flips and bans sub-35¢ tails outside a single 2% lottery slot, and (c) resolver-risk deductions capped at ~15 points. Ten candidates went through full diligence; the section below shows each one's resolver profile and exactly which gate it failed. The strongest temptations — and why they were declined:

4. Recommended $1,000 portfolio

PositionConvictionEntry bandCost% of capitalMax payout
(no positions)$00%$0
Cash reserve$1,000100%$1,000

Cluster exposure (cap: 15% of capital per cluster)

ClusterThesisCost% of capitalCap
gpt-56-releaseGPT-5.6 GA timing$00%15%
arena-fable-readdArena re-lists claude-fable-5$00%15%
arena-top-slot-jul31Who holds Arena #1 on Jul 31$00%15%
arena-math-jul31Arena Math category #1$00%15%
deepswe-top-jul31Datacurve DeepSWE #1$00%15%

Note the cluster structure itself was a finding: seven of the ten diligenced candidates are derivatives of just two world-states (Arena's treatment of Fable 5, and GPT-5.6's launch). Any multi-pick book this week would have been dangerously correlated even before sizing — the same shape as the v1 blow-up.

Conviction exposure

TierPer-pick capDeployed
HIGH$150 (15%)$0
MEDIUM$70 (7%)$0
LOW$30 (3%)$0

Risk profile & execution notes

5. What I rejected and why

All ten rejects are machine-logged in picks.json and shadow-tracked to settlement — if the rejects outperform the (empty) book, the screens added nothing and that finding will be reported. Resolver-risk deductions follow the v3.1 Stage-2.5 format. Six of the ten were cut wholly or partly by the Stage-3.5 entry-band screen (three tails, two coin-flips, one deep favorite).

KXGPT-OPENB-26JUL10 — GPT-5.6 before Jul 10 · would-be side: NO @ 18¢ · my prob 25% vs market 18%

Resolver: OpenAI's own release action, judged against Kalshi's rule: "A model called GPT-5.6 or greater… Release must be to the public, outside of a closed beta, though limiting it to a high-cost subscription tier is acceptable." Priced risks (on the NO side): −45 pts leaked internal GA window Jul 7–9 corroborated by shipping artifacts (reasoning-slider controls in Codex builds), −15 pts competitive motive to launch during Anthropic's Jul 7 Fable-5 subscription-to-credits transition. Residual NO value comes from launch-slip base rates and the live government-review dependency ("broad access plausible mid-July at the earliest" — emergent.sh).

KXTOPMODEL-26JUL13-CLAUT — opus-4-6-thinking top model Jul 13 · would-be side: YES @ 93¢ · my prob 84% vs market 93%

Resolver: arena.ai Text leaderboard snapshot Jul 13, 10:00 AM ET, with the "Remove Style Control" toggle checked; ranking by Rank (UB), ties broken by Arena Score, then votes, then release date (quoted from rules_secondary). Priced risks: −12 pts Arena re-adds claude-fable-5 (frozen at 1509±9 / 4,350 votes, it retakes #1 on the score tie-break the moment it's listed), −3 pts GPT-5.6 GA Jul 9 + fast-tracked listing beats 1504 in four days, −1 pt intra-Anthropic drift (opus-4-7-thinking at 1502 is 2 pts behind, but both scores have been static). Total deductions ≈ 16 pts — over the 15-pt Stage-2.5 cap.

KXTOPMODEL-26JUL13-CLAUF — claude-fable-5 top model Jul 13 · would-be side: YES @ 7¢ · my prob 13% vs market 7%

Resolver: same as above. This is the other side of the same coin: YES requires Arena to re-add fable-5 and have it ranked by the Jul 13 snapshot; with its frozen 1509 score and the score tie-break, listing ≈ winning.

KXLLM1-26JUL31-A — Anthropic has top-ranked LLM Jul 31 · would-be side: NO @ 19¢ · my prob 29% vs market 19%

Resolver: Arena text leaderboard, Rank (UB) with score/votes/release-date tie-breaks, Jul 31 10:00 ET. Brand-level: any Anthropic model at #1 counts — and Anthropic currently holds the top four listed slots (opus-4-6-thinking 1504, 4-7-thinking 1502, 4-6 1499, 4-7 1494; fable-5 delisted). A fable-5 re-add only strengthens YES. Priced risks (against YES): −22 pts Gemini 3.5 Pro ships (its own Kalshi ladder implies ~80% before Jul 31) and clears the 1504 wall (~30% conditional — gemini-3.1-pro-preview sits 18 pts back at 1486), −8 pts GPT-5.6 tops text Arena within three weeks of GA (gpt-5.5-high is 23 pts back; 5.6 is agent/coding-positioned).

KXMATHAI-26JUL31-CLAU — Claude #1 on Arena Math Jul 31 · would-be side: YES @ 61¢ · no committed probability

Resolver: "Arena AI Text Arena Leaderboard (Math)" category view, Jul 31 10:00 ET, publisher tie-breaks. Unpriceable: I could not verify the current Math-category #1 from any reachable source — Arena's category view is client-rendered, the daily-snapshot GitHub mirror carries no category data (and its overall file has been frozen since Jul 1, still showing delisted fable-5 at #1), and every third-party aggregator I checked was weeks stale.

KXCODEAI-26JUL31-CLAU / -CHAT — Datacurve DeepSWE #1 on Jul 31 · would-be sides: YES @ 51¢ / YES @ 52¢ · my probs 52% / 48%

Resolver: deepswe.datacurve.ai leaderboard, Jul 31 10:00 ET. Current official board (v1.1, updated Jul 1): claude-fable-5 70%±4 (#1, still listed despite the June suspension; 73 of 2,260 trials incomplete), gpt-5.5 67%±6 (#2), claude-opus-4.8 59% (#3). Priced risks (on CLAU YES): −40 pts Datacurve evaluates GPT-5.6 after its ~Jul 9 GA (they re-ran the board Jul 1 and evaluate frontier launches promptly) and it clears 70% — GPT-5.6 is explicitly agentic-coding-positioned (Sol Ultra: 91.9% TerminalBench 2.1) and GPT-5.5 already sits 3 pts back, −5 pts fable-5's incomplete trials complete/re-run and move its score.

Remaining logged rejects (summary)

6. Sources