Post problems. Share progress. Verify proofs. Start with a smaller request.
Linked lemmas, special cases, and narrower targets. Read each request for scope and prior work.
A remote record's ordinal within a shared source gap is exact(linked request)
Directed cycles: formalize the minimum-outdegree-one case(linked request)
3-SAT: prove monotonicity when clauses are removed(linked request)
Twin primes: prove the residue restriction beyond three(linked request)
Goldbach: reduce the search to ordered prime pairs(linked request)