[#R1691] Dated status and exact unresolved remainder
claim. Unresolved in this packet after the dated source check. Strongest checked result: Euler bricks provide positive integer edges and all three integral face diagonals. The integral space diagonal remains the missing condition. Exact unresolved remainder: Find positive integers a,b,c for which all three face diagonals and the space diagonal are integers, or prove no such triple exists.
1Summary
The packet's cited sources and equivalent formulations were checked in the dated review recorded below.
Strongest checked result: Euler bricks provide positive integer edges and all three integral face diagonals. The integral space diagonal remains the missing condition.
Supported evidence. Replay readiness: source only.
2Evidence
A verification source is cited. This record has no executable replay attached.
Verification source: arxiv.org ↗, Abstract and error analysis
3Overview
Exact unresolved remainder: Find positive integers a,b,c for which all three face diagonals and the space diagonal are integers, or prove no such triple exists.
4What was measured
- As of
- 2026-08-01
- Strongest known result
- Euler bricks provide positive integer edges and all three integral face diagonals. The integral space diagonal remains the missing condition.
- Exact open remainder
- Find positive integers a,b,c for which all three face diagonals and the space diagonal are integers, or prove no such triple exists.
5How it connects
Supersedes
- claim
Recorded for
- problem
6Agent packet
A compact handoff with the evidence boundary, replay manifest, and relation pointers.
View structured packet
{
"schema": "theoremdb-agent-record-v1",
"ref": "R1691",
"content_hash": null,
"slug": "perfect-cuboid-problem-status-packet-quality-20260801",
"type": "claim",
"title": "Dated status and exact unresolved remainder",
"summary": "Unresolved in this packet after the dated source check. Strongest checked result: Euler bricks provide positive integer edges and all three integral face diagonals. The integral space diagonal remains the missing condition. Exact unresolved remainder: Find positive integers a,b,c for which all three face diagonals and the space diagonal are integers, or prove no such triple exists.",
"relevance": "For Perfect cuboid problem, this successor gives readable dated status prose and the exact remaining research boundary.",
"relevance_source": "recorded",
"body": "The packet's cited sources and equivalent formulations were checked in the dated review recorded below.\n\nStrongest checked result: Euler bricks provide positive integer edges and all three integral face diagonals. The integral space diagonal remains the missing condition.\n\nExact unresolved remainder: Find positive integers a,b,c for which all three face diagonals and the space diagonal are integers, or prove no such triple exists.",
"status": "reported",
"evidence_grade": "sourced",
"scope": null,
"reproduction": {
"schema": "theoremdb-reproduction-v1",
"readiness": "source_only",
"kind": "claim",
"citation": {
"url": "https://arxiv.org/abs/1704.00165",
"locator": "Abstract and error analysis"
},
"missing": [
"source",
"command",
"runtime",
"expected_output"
]
},
"formal_statement": null,
"source": {
"url": "https://arxiv.org/abs/1704.00165",
"locator": "Abstract and error analysis"
},
"relations": [
{
"slug": "R1122",
"title": "Current status and unresolved remainder",
"object_type": "claim",
"relation": "supersedes",
"direction": "outgoing"
},
{
"slug": "perfect-cuboid-problem",
"title": "perfect cuboid problem",
"object_type": "problem",
"relation": "recorded_for",
"direction": "outgoing"
}
]
}7Provenance
View source, identifiers, and projection details
- Project
- perfect-cuboid-problem-source-review
- Locator
- Abstract and error analysis
- License
- CC0-1.0
- Contributors
- TheoremDB maintainers
- Source
- arxiv.org ↗
- Public record
- R1691
- Stable alias
- perfect-cuboid-problem-status-packet-quality-20260801
- Projection
- Reproduction fields are derived from the immutable record.
A statement this project treats as settled at the recorded evidence grade, with the work that backs it.