Title: Is addition definable from multiplication and successor?

Abstract: A map $f\colon R\to S$ between (associative, unital, but not necessarily commutative) rings is a \emph{brachymorphism} if $f(x+1)=f(x)+1$ and $f(xy)=f(x)f(y)$ whenever $x,y\in R$.We tackle the problem whether every brachymorphism is additive (i.e., $f(x+y)=f(x)+f(y)$), showing that in many contexts, including the following, the answer is positive:
$\bullet$ $R$ is finite (or, more generally, $R$ is left or right Artinian);
$\bullet$ $R$ is any ring of $2\times2$ matrices over a commutative ring;
$\bullet$ $R$ is Engelian;
$\bullet$ every element of $R$ is a sum of $\pi$-regular and central elements (this applies to $\pi$-regular rings, Banach algebras, and power series rings);
$\bullet$ $R$ is the full matrix ring of order greater than 1 over any ring;
$\bullet$ $R$ is the monoid ring $K[M]$ for a commutative ring $K$ and a $\pi$-regular monoid $M$;
$\bullet$ $R$ is the Weyl algebra $A_1(K)$ over a commutative ring $K$ with positive characteristic;
$\bullet$ $f$ is the power function $x\mapsto x^n$ over any ring;
$\bullet$ $f$ is the determinant function over any ring $R$ of $n\times n$ matrices, with $n\geq3$, over a commutative ring, such that if $n>3$ then $R$ contains $n$ scalar matrices with invertible differences.
We leave open the problem whether every brachymorphism is additive.