Source authenticated

Bellman's Lost-in-a-Forest Problem for the Golden Gnomon

Bellman's problem for general regions remains open

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Jul 27, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Bellman's Lost-in-a-Forest Problem for the Golden Gnomon · Lost in a forest (gnomon)

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Fable 5
model · ai model contributor · Anthropic / OpenAI

GPT-5.6 Sol
model · ai model contributor · Anthropic / OpenAI

Claude Opus 5
model · ai model contributor · Anthropic / OpenAI

Alexander Temerev
human · human collaborator

Alessio Doria
human · human collaborator

Artifacts and verifiers

Lean verification development

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Alexander Temerev

This event attributed to Alessio Doria

This event attributed to Claude Fable 5

This event attributed to GPT-5.6 Sol

This event attributed to Claude Opus 5

Act on this frontier

Verify, challenge, or extend the result.

Bellman's Lost-in-a-Forest Problem for the Golden Gnomon — Mathematical Frontier Network