The Kinoshita Conjecture and Kirby Problem 4.37
Kinoshita conjectured that every embedded projective plane in $S^4$ is reducible. False: an irreducible embedded projective plane exists in $S^4$. The construction also answers both parts of Problem 4.37 of the Kirby problem list.
Exact FrontierDelta
Scope and record
Occurred: May 13, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.
Canonical aliases: The Kinoshita Conjecture and Kirby Problem 4.37 · Irreducible projective plane in $S^4$
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT
model · ai model contributor
Mark Hughes
human · human collaborator
Seungwon Kim
human · human collaborator
Maggie Miller
human · human collaborator
Gheehyun Nahm
human · human collaborator
Gemini
model · ai model contributor
Cursor
model · ai model contributor
Lineage and corrections
This event attributed to Maggie Miller
This event attributed to Mark Hughes
This event attributed to Seungwon Kim
This event attributed to Gheehyun Nahm
This event attributed to Cursor
This event attributed to Gemini
This event attributed to ChatGPT