Might one of the following examples work?
The Riemann hypothesis asserts that the real part of every non-trivial zero of the Riemann zeta function ζ(s)=∑∞n=11ns is equal to 12.
(Stealing from Wikipedia): A sequence of groups and group homomorphisms G0f1−→G1f2−→G2f3−→⋯fn−→Gn is called exact if im(fk)=ker(fk+1) for 0≤k<n.
(Also paraphrased from Wikipedia): Given an n×n matrix A whose elements are ai,j, we can define the determinant det(A)=∑σ∈Snsgn(σ)∏ni=1ai,σi where Sn is the symmetric group on n elements.
I'm a bit worried, though, that "standard research no... (read more)
Thanks!
A^B is the set of functions from B to A. So 2^N is powerset of N (a function f from N to {0, 1} says, for each element of N, whether or not that element is in the subset defined by f), which is isomorphic to the reals. Perhaps this should go somewhere in one or more of the versions. I don't know any connection between this and P=NP (although I suppose it could be behind the exponential bounds on various things).