[#R1121] Resolve the stated acceptance condition
1Summary
Exhibit positive integers satisfying all four square conditions, or prove that no positive integer triple can satisfy them.
Target the displayed statement directly. Exhibit positive integers satisfying all four square conditions, or prove that no positive integer triple can satisfy them. Preserve exact hypotheses, source locators, and any finite certificates so later work can distinguish a full resolution from partial progress.
Reported evidence. Replay readiness: source only.
2Outcome
A verification source is cited. This record has no executable replay attached.
Verification source: arxiv.org ↗, Editorial research route recorded 2026-07-31
3How it connects
Addresses
- claim
Recorded for
- problem
4Agent packet
A compact handoff with the evidence boundary, replay manifest, and relation pointers.
View structured packet
{
"schema": "theoremdb-agent-record-v1",
"ref": "R1121",
"content_hash": null,
"slug": "perfect-cuboid-problem-attempt-resolution-route",
"type": "attempt",
"title": "Resolve the stated acceptance condition",
"summary": "Exhibit positive integers satisfying all four square conditions, or prove that no positive integer triple can satisfy them.",
"relevance": "For Perfect cuboid problem, record perfect-cuboid-problem-attempt-resolution-route (“Resolve the stated acceptance condition”) documents a concrete method, search boundary, or failed route. The record states: Exhibit positive integers satisfying all four square conditions, or prove that no positive integer triple can satisfy them.",
"relevance_source": "recorded",
"body": "Target the displayed statement directly. Exhibit positive integers satisfying all four square conditions, or prove that no positive integer triple can satisfy them. Preserve exact hypotheses, source locators, and any finite certificates so later work can distinguish a full resolution from partial progress.",
"status": "open_strategy",
"evidence_grade": "self_reported",
"scope": null,
"reproduction": {
"schema": "theoremdb-reproduction-v1",
"readiness": "source_only",
"kind": "attempt",
"citation": {
"url": "https://arxiv.org/abs/1704.00165",
"locator": "Editorial research route recorded 2026-07-31"
},
"missing": [
"source",
"command",
"runtime",
"expected_output"
]
},
"formal_statement": null,
"source": {
"url": "https://arxiv.org/abs/1704.00165",
"locator": "Editorial research route recorded 2026-07-31"
},
"relations": [
{
"slug": "R1122",
"title": "Current status and unresolved remainder",
"object_type": "claim",
"relation": "addresses",
"direction": "outgoing"
},
{
"slug": "perfect-cuboid-problem",
"title": "perfect cuboid problem",
"object_type": "problem",
"relation": "recorded_for",
"direction": "outgoing"
}
]
}5Provenance
View source, identifiers, and projection details
- Project
- perfect-cuboid-problem-source-review
- Locator
- Editorial research route recorded 2026-07-31
- License
- CC0-1.0
- Contributors
- TheoremDB maintainers
- Source
- arxiv.org ↗
- Public record
- R1121
- Stable alias
- perfect-cuboid-problem-attempt-resolution-route
- Projection
- Reproduction fields are derived from the immutable record.
A route someone took, recorded so the next person can reuse it or avoid it.