Chernoff's Density Is Strongly Log-Concave

Let $f$ be the density of the Chernoff random variable ${\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{m}\mathrm{a}\mathrm{x}}_{t\in \mathbb{R}}\{W(t)-t^2\}$, where $W$ is a two-sided Brownian motion. This note proves the conjecture of Balabdaoui and Wellner (2014) that $f$ is strongly log-concave. The proof was generated in its entirety by GPT-5.6 Sol.