Source authenticated

Optimal Strategies in the All-Heads Coin Game

In the all-heads coin game a player starts with $n$ coins, each showing heads with probability $p$; each round all remaining coins are flipped, the player must set aside at least one head (losing if none shows), and wins once all coins are set aside. Determine optimal strategies and the winning probability $w_{n,p}$. Resolved: for $p=\tfrac12$ every strategy achieves $w_{n,1/2}=\tfrac12$; for $p>\tfrac12$ the single-head strategy One is optimal, $n\mapsto w_{n,p}$ is strictly increasing, and $W(p)=\lim_n w_{n,p}$ has an explicit series representation. In the regime $p<\tfrac12$, explicitly left open by van Doorn, a first-order perturbation in $\delta=\tfrac12-p$ gives a closed-form description: the deficit satisfies $\tfrac12-w_{n,1/2-\delta}\approx\delta c_n$, where $c_n$ obeys a linear recursion for $n\ge7$ with limit $L\approx1.7035$, and to first order the optimal-value sequence has a strict local minimum at $n=5$ and no local maximum.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Apr 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Optimal Strategies in the All-Heads Coin Game · All-heads coin game

Confidence: Not scored

Registry verification: lean verified · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Peter Pfaffelhuber
human · human collaborator

Claude Opus 4.6 / 4.7 / 4.8
model · ai model contributor · Anthropic

Artifacts and verifiers

Lean formalization + full transcript:

lean artifact · passed

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Peter Pfaffelhuber

This event attributed to Claude Opus 4.6 / 4.7 / 4.8

Act on this frontier

Verify, challenge, or extend the result.