Relocating Trust to the Verifier: A Truth-Maintenance System for an AI-Generated Theory of Everything

Summary and scope

PTMS is a truth-maintenance tool for tracking claims, dependencies, evidence and retractions in an AI-assisted research corpus. Its checks can expose inconsistent references, unsupported status changes and claims relying on retired premises. The reported corpus sizes and check counts describe the paper’s historical snapshot. Passing these checks establishes neither the truth of a physical interpretation nor experimental support for the programme; scientific validation remains a separate task.

Keywords

How to cite

Elliman, D. (2026). Relocating Trust to the Verifier: A Truth-Maintenance System for an AI-Generated Theory of Everything. Neuro-Symbolic Ltd technical report. https://doi.org/10.5281/zenodo.20786144

@techreport{elliman2026ptmspaper,
  author      = {Elliman, David},
  title       = {Relocating Trust to the Verifier: A Truth-Maintenance System for an AI-Generated Theory of Everything},
  institution = {Neuro-Symbolic Ltd},
  year        = {2026},
  doi         = {10.5281/zenodo.20786144},
  url         = {https://neusym.ai/papers/ptms_paper/}
}