Where intuition meets formality. You don't need to be a professional mathematician to contribute — you just need to see something worth exploring.
You have a mathematical idea — a conjecture, an intuition, an argument with a gap. You want someone to formalize it, prove it, challenge it, or connect it to existing mathematics.
Post it here. The community responds.
How it works
Post a request
Hit Post a request at the top of this page and describe what you're working on — a conjecture, a gap in a proof, a question you can't fully formalize. The editor supports live math rendering: use the toolbar or press Ctrl+M for inline math and Ctrl+Shift+M for display equations. Add a category and tags so the right people find it.
The author approves
If your request is tied to someone else's sketch or paper, they review it first and decide whether to open it to the community. Direct submissions open immediately — no approval needed. Either way, once open, the request is visible to everyone.
Someone claims it
Any community member can claim an open request and build a formal response. That response can take any form — a written proof or argument, an uploaded document, or a full Project Lab paper. The goal is always the same: move the mathematics forward.
It keeps growing
Every completed response can receive new requests. A single idea can branch into an expanding tree of contributions — connecting fields, surfacing counterexamples, formalizing intuitions, pointing to literature. There is no limit on how deep or wide it goes.
The spirit of the Rigor Exchange
Respect the original work. You are engaging with someone's idea — not dismantling it. Approach every bridge with the intent to expand, clarify, or contribute.
A counterexample is a gift, not an attack. Showing that a conjecture is false is one of the most valuable contributions in mathematics. Do it with care.
Once you build a bridge, you are part of that idea's lineage permanently. Build something you are proud of.
Bridges that do not add mathematical value — that are vague, dismissive, or unhelpful — will be removed. Rigor is the standard.
Reading the badges
Request type
Status
Proving the Collatz-triangle side ratios → √5, √5/2, ½ (so (D₂+D₃)/D₁ → φ), and connecting it to the golden-mean shift of the 3x+1 itineraries.
Turning the numerical φ-appearances in the golden map's periodic points into a proof, starting with the 2-cycle segment length → φ².