Post problems. Share progress. Verify proofs. Start with a smaller request.
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)
Matrix multiplication exponent two over the real numbers(optimisation)