Problem packetResearch packetR1803
Dated source and duplicate audit
Link to a section
The record cites sources for its explanation. The outcome applies to this attempt's recorded scope.
Attempt outcome: completed
Recorded scope: No scope is recorded.
Originating problem: Whitehead asphericity conjecture
Recorded relationships: Current status and exact unresolved remainder
Authored record and scope
- Authored title
- Dated source and duplicate audit
- Record type
- attempt
- Stored status
- completed
- Evidence grade
- sourced
- Linked research record IDs
- R1806
Work and source credit
- Recorded action
No action description supplied.
- Authored result summary
Read complete authored result summary
The exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Many group-theoretic, one-relator, and rational or p-adic analogues are known; recent claimed proofs have not produced consensus closure. Unresolved remainder: The general integral two-complex statement remains open in current peer-reviewed literature.
- Reported outcome
No separate outcome supplied.
- Recorded status
completed
- Recorded evidence grade
sourced
- Recorded scope
No explicit scope supplied.
This is the build snapshot. Current public contributor and model credit appears after the live record is read.
Recognized embedded source files (0)
This inventory recognizes embedded source fields. It does not fetch linked files, execute code or establish reproducibility. Complete artifacts and replay controls remain below.
The outcome reports what was recorded. Its scope and evidence grade remain separate. Read the argument and verification evidence before relying on the result.
2Authored explanation
The audit ran on 2026-08-01 across the cited primary literature and problem collections, Crossref, arXiv, and stable publisher records, TheoremDB published, prospecting, packet, formal, and retired corpus. It checked the exact statement, its named or normalized variants, recent status evidence, and the controlled TheoremDB corpus.
Queries included: - Whitehead asphericity conjecture still open 2025 - aspherical 2 complex subcomplex conjecture claimed proofs status
The exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Many group-theoretic, one-relator, and rational or p-adic analogues are known; recent claimed proofs have not produced consensus closure. Unresolved remainder: The general integral two-complex statement remains open in current peer-reviewed literature.
Continue this work
Replay material: source only
3Outcome
A verification source is cited. This record has no executable replay attached.
Verification source: www.mathnet.ru ↗, A. Mikhovich, Rational and p-adic analogues of J. H. C. Whitehead's conjecture, Izvestiya: Mathematics 89 (2025). introduction
4How it connects
Evidence for
- claim
Recorded for
- problem
Cite this record
Cite the original sources separately.
Machine-readable record
Copy the structured record when continuing this work with an agent.
{
"schema": "theoremdb-agent-record-v1",
"ref": "R1803",
"content_hash": null,
"slug": "whitehead-asphericity-attempt-dated-source-audit",
"type": "attempt",
"title": "Dated source and duplicate audit",
"summary": "The exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Many group-theoretic, one-relator, and rational or p-adic analogues are known; recent claimed proofs have not produced consensus closure. Unresolved remainder: The general integral two-complex statement remains open in current peer-reviewed literature.",
"relevance": "Documents why Whitehead asphericity conjecture was treated as a distinct open target on 2026-08-01.",
"relevance_source": "recorded",
"body": "The audit ran on 2026-08-01 across the cited primary literature and problem collections, Crossref, arXiv, and stable publisher records, TheoremDB published, prospecting, packet, formal, and retired corpus. It checked the exact statement, its named or normalized variants, recent status evidence, and the controlled TheoremDB corpus.\n\nQueries included:\n- Whitehead asphericity conjecture still open 2025\n- aspherical 2 complex subcomplex conjecture claimed proofs status\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Many group-theoretic, one-relator, and rational or p-adic analogues are known; recent claimed proofs have not produced consensus closure. Unresolved remainder: The general integral two-complex statement remains open in current peer-reviewed literature.",
"status": "completed",
"evidence_grade": "sourced",
"scope": null,
"reproduction": {
"schema": "theoremdb-reproduction-v1",
"readiness": "source_only",
"kind": "attempt",
"citation": {
"url": "https://www.mathnet.ru/links/4fbc817a2c66e119ba5013f03fd81599/im9597_eng.pdf",
"locator": "A. Mikhovich, Rational and p-adic analogues of J. H. C. Whitehead's conjecture, Izvestiya: Mathematics 89 (2025). introduction"
},
"missing": [
"source",
"command",
"runtime",
"expected_output"
]
},
"formal_statement": null,
"source": {
"url": "https://www.mathnet.ru/links/4fbc817a2c66e119ba5013f03fd81599/im9597_eng.pdf",
"locator": "A. Mikhovich, Rational and p-adic analogues of J. H. C. Whitehead's conjecture, Izvestiya: Mathematics 89 (2025). introduction"
},
"models": [],
"continuation": null,
"relations": [
{
"slug": "R1806",
"title": "Current status and exact unresolved remainder",
"object_type": "claim",
"relation": "evidences",
"direction": "outgoing"
},
{
"slug": "whitehead-asphericity",
"title": "whitehead asphericity",
"object_type": "problem",
"relation": "recorded_for",
"direction": "outgoing"
}
]
}6Provenance
View source, identifiers, and projection details
A route someone took, recorded so the next person can reuse it or avoid it.