hr.temporal-object.0002
Problem Frontier Baseline — 2026-07-20
A frozen audit baseline for one AlphaProof Nexus Erdős cohort. The immutable snapshot preserves the original nine-row seed; the attached completed row audit reclassifies one rediscovery and leaves eight provisional frontier resolutions.
- Record
- Active
- Disclosure
- Public
- Proof
- None
- Outcome
- Unsettled
- Custody
- Not Applicable
- Created
- Registered
- Next review
At the 20 October 2026 review, compare this frozen baseline with the next accepted snapshot or record why no successor snapshot was accepted.
- Scheduled Review 20 October 2026 is reached.
Evaluation: Use the same fixed cohorts and explicitly versioned living-registry definitions. Report new resolutions, partial progress, reclassifications, corrections, replenishment, denominator changes and validation lag separately. Never rewrite this baseline.
What the integrity record establishes
This can show that the exact committed file existed no later than a stated public anchor. It does not reveal hidden contents or prove that a claim is true.
No public proof revision is attached to this record.
What happened, and when it was recorded
-
Created
PFT-2026-07-20 froze six input files by SHA-256 and pinned four source revisions plus three paper versions. The snapshot reports its own status as baseline_with_open_audit_questions.
Boundary: The snapshot is a narrow audit state for selected formalized cohorts, not a census of AI mathematics, a global problem count, a trend or a depletion forecast.
Recorded 20 July 2026 -
Correction Added
The completed nine-row audit reclassified Erdős 846 as known in literature rather than a strict new-frontier resolution. The corrected working count is eight retained resolutions among 353 attempted formalized Erdős records.
Boundary: The immutable snapshot still contains the original nine-row seed. The eight retained rows remain provisional under broader literature-priority review.
Recorded 21 July 2026 -
Registered
Five exact public artifacts were copied into the Objects in Time asset boundary and their byte counts and SHA-256 values were recorded.
Boundary: Local registration and artifact integrity do not independently verify the mathematics or reconcile the paper's claimed 44 OEIS successes with 38 public target files representing 37 unique sequence IDs.
Recorded 21 July 2026, 11:39 +02:00 -
Published
Dennis approved adding the published article's frozen baseline to Objects in Time. The configured two-object registry, nested reader page, exact artifacts and staged release root passed the temporal-object release checks.
Boundary: Publication establishes the availability and integrity of this audit checkpoint. It does not independently certify the mathematics, turn the checkpoint into a trend, or prove that the mathematical problem frontier is shrinking.
Recorded 21 July 2026, 11:44 +02:00
Downloads and exact commitments
Exact hashes remain selectable. On narrow screens, scroll the table sideways to inspect each value without breaking it apart.
| Object | File or algorithm | SHA-256 |
|---|---|---|
| Public Payload | problem-frontier-baseline-2026-07-20.json | 25b3e006bf9535e84ea4d3e97c037160506aa88bb124d1903f30007fda1cb0f97087 bytes |
| Supporting File | baseline-audit.md | 50a31b55d68e1b22723c745f80daa6e1daf36c25abc54a1879e95221b357374417279 bytes |
| Supporting File | oeis-reconciliation.md | 6681fd8cab328f0b5e2acc191e347b61ff94961b415d0bd610aaeae0f389fc3a4629 bytes |
| Supporting File | strongest-counterargument.md | de586dc1ba16090d8fdd633c94dc5e467ad17b10ca401edf38597da1e8946dee9670 bytes |
| Supporting File | limitations.md | d51521f27afd849752997768d32ee2563aa64348b59f1c055d48dac86914bc6c13685 bytes |
| Payload commitment | SHA256 | 25b3e006bf9535e84ea4d3e97c037160506aa88bb124d1903f30007fda1cb0f9 |
Not Applicable
No external custodian is part of this record.
Context without rewriting the record
- Nine Became EightRelated Article
- Nine Became Eight evidence manifestRelated Method
