lean artifact · passed
Artifact ↗Source authenticated
Optimal Strategies in the All-Heads Coin Game
Registry resolution: partial. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Optimal Strategies in the All-Heads Coin Game · All-heads coin game
Confidence: Not scored
Registry verification: lean verified · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Claude Opus 4.6 / 4.7 / 4.8
model · ai model contributor · Anthropic
Peter Pfaffelhuber
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Optimal Strategies in the All-Heads Coin Game →
Supersedes Optimal Strategies in the All-Heads Coin Game →
Optimal Strategies in the All-Heads Coin Game parent of this event
This event attributed to Peter Pfaffelhuber
Lean formalization + full transcript: evidence for this event
This event attributed to Claude Opus 4.6 / 4.7 / 4.8
Optimal Strategies in the All-Heads Coin Game evidence for this event
Registry resolution: partial. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
VibeMathed record: Optimal Strategies in the All-Heads Coin Game evidence for this event
Act on this frontier