Work with Claude to prove a geometry conjecture

A 9th grader and Claude proved the rhombicosidodecahedron can’t pass through a copy of itself, with a 38-CPU-hour interval-arithmetic check.

by /u/Gihyo092110 Oct 2026

Prompt for your agent

Goal: Tackle an open maths problem with an AI collaborator while staying in charge.
Setup: agents used in source: Claude; tools/MCPs stated: interval arithmetic.
Steps:
1. Choose the problem and decide the direction at each step yourself.
2. Let Claude help with arguments, code and writing the paper.
3. Use a computer check that rounding can’t fool (here interval arithmetic over ~12.3 million boxes).
4. Ask it to re-check the whole proof from scratch and fix the real mistakes it finds; check everything yourself.
Rules: ask me before anything irreversible (sending, posting, paying, deleting); don’t invent data, results or tools I haven’t given you; tell me what you couldn’t verify.
Based on: /u/Gihyo0921 — https://www.reddit.com/r/ClaudeAI/comments/1x2eybb/im_a_9th_grader_and_i_used_claude_to_prove_a/

Steps are from the source. Includes a “Based on” credit line.

I tried this

Tell the next builder. One anonymous answer each; click again to undo.

Agents, models and tools only what the source states

Agents
Claude
Tools
  • interval arithmetic

Sources & credit