A 9th-grade student claims to have used Claude to prove the rhombicosidodecahedron cannot pass through a copy of itself, using interval arithmetic over 12.3M boxes and 38 CPU hours to verify singular configurations at √5.

state: seedheat: mediumuncertainty: mediumnovelscott: lowai-assisted-mathematics formal-verification geometry interval-arithmeticGihyo0921

What is this?

A 9th-grade student (Reddit user Gihyo0921) claims to have used Claude to prove that a rhombicosidodecahedron cannot pass through a copy of itself — a geometric conjecture about the 'Prince Rupert' problem for this Archimedean solid. The student reports using interval arithmetic across 12.3 million boxes over 38 CPU hours to verify singular configurations at √5. No independent verification or peer review is cited in the available material; the claim rests on a single Reddit post with computational details but no published code or formal proof artifact.

Why it matters to Scott

The case is a single Reddit post claiming an AI-assisted geometric proof with specific computational parameters (interval arithmetic, 12.3M boxes, 38 CPU hours) but no published code, formal proof artifact, or independent verification. It falls squarely in the 'discussed not deployed' tier of Scott's status ladder — a bare verdict without evidence packages, auditability, or mechanically different verifiers. While it topically overlaps ai-assisted-mathematics and formal-verification radar concepts, it neither challenges nor extends Scott's frameworks; it merely exemplifies the low-evidence tier those frameworks already classify. No consequential party arrives at Scott's position, and the specific claim is absent from his canon.

ip:concept.evidence-packageip:framework.discussed-is-not-deployed-status-ladderip:concept.auditabilityip:concept.deterministic-verification-before-assertionip:concept.verification-loopsip:concept.mechanically-different-verifiersradar:concept.ai-assisted-mathematicsradar:concept.formal-verificationradar:kbr-ai-formalized-math-proofradar:claude-borsuk-counterexampleradar:lean-transformer-ai-proofsradar:proofrun-local-agent-verification-receipts

queries asked of Scott's wikis

ai-assisted-mathematics: LLM as co-author vs. verifier in formal proof workflows
formal-verification: interval arithmetic as a trustworthy backend for LLM-generated conjectures
reproducibility: what artifacts (code, certificates, logs) make an AI-assisted proof auditable
geometry: Prince Rupert problems and polyhedral passage as a benchmark for AI spatial reasoning
epistemology: when does an LLM-assisted computation constitute mathematical evidence

Measured heat

now 4 pts/hpeak 153 pts/hcomments 1/hpeers p88momentum: cooling2 platformsage 51h

points/hour across evidence · reading as of 2026-10-12 02:59:37.977291+11:00 · deterministic, not a model opinion

How the heat travelled

10-09 13:00	⭐ origin echo-reconstructed	I'm a 9th grader and I used Claude to prove a geometry conjecture: the rhombicosidodecahedron can't pass through a copy of itself. The exist Gihyo0921 on reddit (echo) · attributed from reddit.post.1x2eybb	—
10-10 13:10	first on r/ClaudeAI · published · +24.2h	I'm a 9th grader and I used Claude to prove a geometry conjecture: the rhombicosidodecahedron can't pass through a copy of itself Gihyo0921	—
10-10 13:10	amplified on r/ClaudeAI 👑	reddit.post.1x2eybb Gihyo0921	peak 952 · 221 comments · 100% of case engagement
10-10 13:33	our radar first saw it · +24.6h	discovery anchor: reddit.post.1x2eybb	—

pace: p94 vs 1204 stories at the 48h mark (now 51h old) — ahead of qwen38-flash-next-commodity-local-inference (1.0x), behind alphagenome-atlas (1.0x)

Evidence (2) — ⭐ canonical anchor

source	object	author	score	comments
🟠 reddit	I'm a 9th grader and I used Claude to prove a geometry conjecture: the rhombicosidodecahedron can't pass through a copy of itself ClaudeAI Retrieved article excerpt Open article · Retrieved 2026-10-10T13:39:52.243049+00:00 # Prove your humanity We’re committed to safety and security. But not for bots. Complete the challenge below and let us know you’re a real person. [Reddit, Inc. © "2026". All rights reserved.](https://www.redditinc.com/) [User Agreement](https://www.reddit.com/help/useragreement) [Privacy Policy](https://www.reddit.com/help/privacypolicy) [Content Policy](https://www.reddit.com/help/contentpolicy) [Help](https://support.reddithelp.com/hc/en-us)	Gihyo0921	952	221
🟧 echo.reddit ⭐	I'm a 9th grader and I used Claude to prove a geometry conjecture: the rhombicosidodecahedron can't pass through a copy of itself. The exist	Gihyo0921	—	—

Interpretation history

2026-10-10T14:08:22Z
grounded: novel/low — The case is a single Reddit post claiming an AI-assisted geometric proof with specific computational parameters (interval arithmetic, 12.3M boxes, 38 CPU hours)
2026-10-10T13:55:14Z
case created — 9th grader's detailed account with specific computational parameters is a concrete, reproducible instance of the AI-assisted-mathematics pattern.

Decision trace

10-12 00:33sensor_dirtyvelocity_spike
10-11 18:31sensor_dirtyvelocity_spike
10-11 10:29sensor_dirtyvelocity_spike
10-11 08:31sensor_dirtycomment_update
10-11 02:34sensor_dirtyvelocity_spike
10-11 01:21attention_routeThe editor compared this story and chose to keep watching.
10-11 01:18attention_candidatecreate
10-11 01:08groundThe case is a single Reddit post claiming an AI-assisted geometric proof with specific computational parameters (interval arithmetic, 12.3M boxes, 38 CPU hours) but no published code, formal proof art
10-11 00:55create9th grader's detailed account with specific computational parameters is a concrete, reproducible instance of the AI-assisted-mathematics pattern.