Source authenticated

The Proportion of Permutations Fixing a k-Set

Registry resolution: resolved. 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: unreviewed. 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: The Proportion of Permutations Fixing a k-Set · Permutations fixing a k-set

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Ben Green
human · human collaborator

Mehtaab Sawhney
human · human collaborator

GPT o4-mini
model · ai model contributor · OpenAI

ChatGPT Pro 5.4
model · ai model contributor · OpenAI

Lineage and corrections

Corrects The Proportion of Permutations Fixing a k-Set →

Supersedes The Proportion of Permutations Fixing a k-Set →

VibeMathed record: The Proportion of Permutations Fixing a k-Set evidence for this event

This event attributed to ChatGPT Pro 5.4

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event

The Proportion of Permutations Fixing a k-Set evidence for this event

This event attributed to Mehtaab Sawhney

This event attributed to Ben Green

This event attributed to GPT o4-mini

The Proportion of Permutations Fixing a k-Set parent of this event

Act on this frontier

Verify, challenge, or extend the result.