Integrity report for Advancing Mathematics Research with AI-Driven Formal Proof Search
A machine-verified record of the checks Pith has run against this paper: detector runs, findings, signed bundle events, and canonical identifiers.
arXiv:2605.22763 · pith:2026:W6IWLF6EHUWDOZ6N7UBJW2SD3P
6Critical
10Advisory
8Detectors run
2026-05-22Last checked
Paper page
arXiv
integrity.json
bundle.json
Detector runs
external_links
completed
v1.0.0 · findings 8 · 2026-05-22 17:34:56.337725+00:00
shingle_duplication
completed
v0.1.0 · findings 0 · 2026-05-22 09:50:23.409256+00:00
doi_title_agreement
completed
v1.0.0 · findings 0 · 2026-05-22 05:31:50.440171+00:00
doi_compliance
completed
v1.0.0 · findings 0 · 2026-05-22 05:19:42.709392+00:00
citation_quote_validity
skipped
v0.1.0 · findings 0 · 2026-05-22 03:51:19.915371+00:00
cited_work_retraction
completed
v1.0.0 · findings 0 · 2026-05-22 03:22:25.042650+00:00
ai_meta_artifact
skipped
v1.0.0 · findings 0 · 2026-05-22 02:33:37.931688+00:00
claim_evidence
completed
v1.0.0 · findings 0 · 2026-05-22 02:22:39.098486+00:00
Findings
critical
external_links
dead_code_link
URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.
2026-05-22 17:34:56.337725+00:00
Finding detail
critical
external_links
dead_code_link
URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.
2026-05-22 17:34:56.337725+00:00
Finding detail
critical
external_links
dead_code_link
URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.
2026-05-22 17:34:56.337725+00:00
Finding detail
critical
external_links
dead_code_link
URL 'https://github.com/google-dee' returned status 404 (Not Found) at last check.
2026-05-22 05:34:11.480592+00:00
Finding detail
critical
external_links
dead_code_link
URL 'https://github.com/google-deepmind/alph' returned status 404 (Not Found) at last check.
2026-05-22 05:34:11.480592+00:00
Finding detail
critical
external_links
dead_code_link
URL 'https://github.com/GasStationManager/Saf' returned status 404 (Not Found) at last check.
2026-05-22 05:34:11.480592+00:00
Finding detail
Signed record
The machine-readable record for this paper lives at /pith/W6IWLF6E/integrity.json. Pith Number bundles also include signed pith.integrity.v1 events where a Pith Number exists.