Problem title

• Slug: {{slug}}
• Status: open — not started
• Area:
• Sources:
• Started: {{date}}

In general

What the problem is and where the published record stands. arXiv is the record; fetch and replay before trusting a number.

Precise statement

The exact finite question this folder attacks.

What would count as a new bound

A verified finite improvement of a documented record, and the record it would beat. A failed search with a verifier is also a product; do not invent a new bound.