PƒPPrompts for Progress
← Problems indexproblem

mathematics and physics · geometric analysis and general relativity

Bartnik admissible-extension conjecture

Whether every Bartnik body possesses a smooth admissible asymptotically flat extension satisfying the boundary, curvature, topology, and horizon conditions.

The tracked attempt targeted the universal existence statement, excluding special cases, approximate matching, and reductions to stronger unproved conjectures.

Open reference source ↗

Attempt ledger

What has been tried?

A complete attempt outcome does not automatically change the editorial status of the underlying problem.

01
Jul 15, 2026 · attemptCDC-style attempt on the Bartnik admissible-extension conjecture

A CDC-style multi-agent prompt ran in Codex for 2 hours 47 minutes and ended without a proof after several candidate routes failed adversarial audit.

Documented attemptReported evidence