Source authenticated

Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing

VibeMathed recorded: Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jul 18, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing · Prim-Dijkstra complexity

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Keren Zhu
human · human collaborator

GPT-5.6 Sol in Codex
model · ai model contributor · OpenAI

Artifacts and verifiers

Code and reproducibility materials

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Keren Zhu

This event attributed to GPT-5.6 Sol in Codex

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event

VibeMathed record: Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing evidence for this event

Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing evidence for this event

Code and reproducibility materials evidence for this event

Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing parent of this event

Act on this frontier

Verify, challenge, or extend the result.