The authors report that an AI-assisted neuro-symbolic workflow derived exact analytical solutions for a cosmic-string gravitational-radiation integral that they characterize as an open problem.
Reported discoveryTheoretical physics and mathematicsreviewed 2026-07-16
Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery
Certiv evidence level
Source pinnedcentral claim independently reproduced?
No.
That answer stays “no” even when a selected check passed.
claim boundary
Three statements that must not be collapsed.
The exact v1 paper was pinned and its prompts, search description, and derivations are inspectable in the paper. No public runnable artifact linked from the exact record was identified in this review.
The open-problem status, derivation correctness, novelty, system autonomy, and agreement with all relevant numerical or physical constraints were not independently adjudicated.
source identity
The paper is versioned bytes.
A mutable title or unversioned link is not enough to reproduce what was reviewed.
- arXiv version
- 2603.04735v1
- Submitted
- 2026-03-05
- Version date
- 2026-03-05
- Size
- 699,380 bytes · 22 pages
- PDF SHA-256
- 70fce2b699eb79312cffa7b39d3cad07abb5e116d25dec5b901cd0768ff68858
Observed parser properties
- Recognized as a PDF and not encrypted.
- pdfinfo reported JavaScript: no.
- pdfdetach reported no embedded files.
- pdftotext completed successfully.
These probes reduce ambiguity and obvious PDF attack surface. They are not a comprehensive malware analysis.
Certiv T0 exercise: this exact PDF was hash-pinned without executing its declared command. The unchanged input remained explicitly unverifiable; a one-byte tamper produced a failed input_hash_drift finding.
test record
Checks, failures, and blockers.
Status is always paired with text. A pass applies only to the check and boundary shown in the same row.
Observed
Exact PDF identity
Observed
The downloaded v1 PDF matched the recorded SHA-256, byte count, and page count.
Boundary
This establishes file identity only.
Observed
Linked-artifact review
Observed
No public runnable code or proof-checker artifact was identified from the exact arXiv record and paper during this review.
Boundary
Absence from this review is not proof that no artifact exists elsewhere.
Not run
Independent derivation and domain review
Observed
No formal proof checker, independent symbolic derivation, or specialist peer assessment was completed.
Boundary
The central result remains author-reported in this dossier.
red-team findings
Where a confident summary can outrun the evidence.
- A detailed derivation is inspectable evidence but not automatically a machine-checkable proof.
- Calling a problem open and a solution novel requires an independent literature and domain review.
- Prompts and workflow descriptions do not by themselves reproduce model behavior.
primary sources
Follow the evidence outward.
Dossier certiv-ai-discovery-2026-07-16/ai-assisted-theoretical-physics. Certiv produced this test record; the paper authors did not issue or endorse it.