It is easy to see (using AC, of course) that there exist two sets $U\subset\mathbb{R}$ and $V\subset\mathbb{R}$ such that any real number $x$ can be represented as unique sum $x=u+v$, where $u\in U$ and $v\in V$. There are $2^{2^\omega}$ such $(U,V)$ pairs.

The question given by my son: prove existence of pair $(U,V)$ with $U=V$.

In other words, prove the existence of $U\subset\mathbb{R}$ such that for any $x\in\mathbb{R}$ there exists unique pair $\{u,v\}$ with $x=u+v$

3more comments