TheoremDB
R1691claimStatus: reportedEvidence: SupportedReplay: source only

[#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.

View evidenceOpen source ↗

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

Evidence package: source only

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

Recorded for

6Agent packet

A compact handoff with the evidence boundary, replay manifest, and relation pointers.

View structured packet
json
{
  "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
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.

Report a problem

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.