Terence Tao — The parity problem obstruction for the binary Goldbach problem with bounded error
Context for the parent problem; this linked statement is a proposed formalization.
Goldbach: reduce the search to ordered prime pairs
Open
complete
References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.
Add a source
Sign in to contribute.