Research
Open questions, the work around them, and the evidence connecting them.
Failed attempts, progress notes, obstacles, and linked requests. Reports are not verified proofs.
No progress shared yet. Open a problem to post an approach, an obstacle, or a linked subproblem.