{"schema":"postcutoff/event@1","as_of":"2026-10-14T07:26:00+02:00","url":"https://postcutoff.com/e/2026-10-05-rhombicosidodecahedron-not-rupert-claude/","md":"https://postcutoff.com/e/2026-10-05-rhombicosidodecahedron-not-rupert-claude/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-05-rhombicosidodecahedron-not-rupert-claude","date":"2026-10-05","date_precision":"day","short_title":"Teen's Claude-coded proof claims rhombicosidodecahedron is not Rupert","deck":null,"takeaway":null,"category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Zenodo: G. Jung, The rhombicosidodecahedron is not Rupert (Oct 5, 2026)","url":"https://zenodo.org/records/23159625","type":"paper","group":"primary","domain":"zenodo.org"},{"n":2,"title":"GitHub: proof code and certificates","url":"https://github.com/swiri0921-bit/rhombicosidodecahedron-not-rupert","type":"code","group":"primary","domain":"github.com"},{"n":3,"title":"Steininger & Yurkevich: A convex polyhedron without Rupert's property (arXiv 2508.18475)","url":"https://arxiv.org/abs/2508.18475","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"Korea JoongAng Daily: 15-year-old claims AI helped crack 300-year-old math puzzle (Oct 14)","url":"https://www.koreajoongangdaily.com/korea/15yearold-claims-ai-helped-crack-300yearold-math-puzzle/12919724","type":"press","group":"press","domain":"koreajoongangdaily.com"},{"n":5,"title":"Korea Daily: Rupert's Hypothesis — South Korean middle schooler tackles 300-year-old math problem using AI (Oct 13)","url":"https://en.koreadaily.com/ruperts-hypothesis-ai-math-middle-schooler/","type":"press","group":"press","domain":"en.koreadaily.com"},{"n":6,"title":"Quanta: First shape found that can't pass through itself (Oct 2025)","url":"https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/","type":"press","group":"press","domain":"quantamagazine.org"}],"official":3,"filed":"2026-10-14","updated":"2026-10-14","orgs":["Anthropic"],"title":"A 15-year-old's computer-assisted preprint, coded with Claude, claims the rhombicosidodecahedron is not Rupert (Steininger–Yurkevich conjecture)","summary":"On Oct 5, 2026 Gihyo Jung, described by Korean media as a 15-year-old ninth grader, posted \"The rhombicosidodecahedron is not Rupert\" on Zenodo with code on GitHub: a computer-assisted proof that this Archimedean solid cannot pass through a hole in a congruent copy of itself, settling a conjecture of Steininger and Yurkevich. He says Claude wrote the proof code. Not yet peer-reviewed or independently checked.","key_facts":["Preprint: Gihyo Jung, 'The rhombicosidodecahedron is not Rupert', Zenodo 10.5281/zenodo.23159625, Oct 5, 2026 (about 7.8k views by Oct 14); code at github.com/swiri0921-bit/rhombicosidodecahedron-not-rupert","Abstract: settles a conjecture of Steininger and Yurkevich, who built the first convex polyhedron without the Rupert property (the 'Noperthedron', arXiv 2508.18475, 2025). Because of the solid's symmetry, the standard subdivision method does not work alone, so the paper adds three new local certificates","Method (README): implements Steininger–Yurkevich's global and local theorems; outward-rounded interval arithmetic with rigorous sin/cos; exact identities in Q(√5); LP (HiGHS) used only to find witnesses, all re-verified; cell cover of 211,680 cells (1.23e7 leaves) with 0 failures; a second implementation in exact rational arithmetic. About 38 hours of computation on a laptop","Background: Steininger and Yurkevich conjectured (2021) that the rhombicosidodecahedron is not Rupert; their 2025 Noperthedron methods did not suffice for it. Benjamin Grimmer (Johns Hopkins) had told Quanta that two weeks of computer search on it 'just seems to resist any attempt'","AI use (press, not in the Zenodo record or README): Jung told JoongAng Ilbo he used Claude 'to generate code for solving a difficult mathematical problem and then reviewing the results'; Korea Daily says he also used AI to check the proof and help write the paper. His Reddit post topped a Claude coding forum on Oct 10","Jung says he chose the topic without an adviser, admits he cannot independently verify every detail, and says another study reached the same conclusion by a different method around the same time (not named; not found)","Korean experts (JoongAng): Oum Sang-il (IBS Discrete Mathematics Group): posting 'establishes a public record of when it was released' but 'does not guarantee the validity of its contents'; Seo In-suk (SNU): the author must understand all details and answer questions; Choi Kyu-dong (UNIST): lack of training and a paper's value 'can be distinct'"],"key_numbers":[],"tags":["math","geometry","rupert-property","polyhedra","computer-assisted-proof","interval-arithmetic","claude","ai-assisted"],"science":{"field":"mathematics","subfield":"discrete geometry (Rupert property of polyhedra)","problem":"Is the rhombicosidodecahedron Rupert? (Steininger–Yurkevich conjecture that it is not; Rupert's question dates to c. 1693)","result":"Claimed computer-assisted proof, with interval-arithmetic certificates, that the rhombicosidodecahedron does not have the Rupert property.","open_since":"2021","ai_system":["Claude"],"human_role":"Single teenage author who says he set the topic and direction; Claude generated the proof code and, per one report, helped check it and write the paper","verification":{"key":"expert","label":"Expert-checked","text":"unverified claim (computer-assisted certificates published with code; no peer review or independent check reported as of Oct 14)"},"status":"pending","shock":"A ninth grader with an AI coding assistant claims a conjecture that the experts who built the first non-Rupert polyhedron could not crack with their own methods."},"body_md":"## What happened\n\nA convex polyhedron is \"Rupert\" if a straight tunnel can be cut through it large enough for a congruent copy to pass through\n(Prince Rupert's cube puzzle, c. 1693). For decades every convex polyhedron tested turned out to be Rupert, until Jakob\nSteininger and Sergey Yurkevich proved in 2025 that a purpose-built polyhedron, the Noperthedron, is not. They had earlier\nconjectured that the rhombicosidodecahedron (20 triangles, 30 squares, 12 pentagons) is not Rupert either, but their methods did\nnot settle it.\n\nOn Oct 5, 2026 Gihyo Jung posted a computer-assisted proof of that conjecture on Zenodo, with a GitHub repository of certificates\nand two independent checkers. Korean newspapers (Korea Daily, Oct 13; JoongAng Ilbo, Oct 14) reported that he is a ninth grader\nand that Claude wrote the code. Neither the Zenodo record nor the README contains an AI disclosure; the AI role is known only from\nhis interviews.\n\n## Why it matters\n\nIf it holds, it is the second named non-Rupert polyhedron and the first Archimedean solid shown not to be Rupert, from an author\nwith no formal training working with a coding agent. The Korean debate centres on authorship: whether a paper counts if its author\ncannot check every step himself.","disputed":[{"label":"Verification","text":"unverified claim (computer-assisted certificates published with code; no peer review or independent check reported as of Oct 14)","sources":[]}],"related":[{"id":"2026-10-13-ai-assisted-results-october-2026","url":"https://postcutoff.com/e/2026-10-13-ai-assisted-results-october-2026/","date":"2026-10-13","date_precision":"day","short_title":"October 2026: the arXiv stream of conjectures settled with disclosed AI help continues","deck":null,"takeaway":"In the first nine days of October 2026 the stream did not slow down: each arXiv listing brought several named conjectures with a disclosed AI role, and two new patterns appeared.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":16,"official":16,"filed":"2026-10-13","updated":"2026-10-14","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":11,"official":5,"filed":"2026-09-30","updated":"2026-10-13","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-14","type":"filed","text":"Created (Google News: Korea Daily and JoongAng Daily); verification status pending"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-14","run":null,"sources_read":null,"updated":"2026-10-14","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":158,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":97,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":188,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":127,"in_training_data":false}],"short_url":null}