2 problems

Division-line conjecture.

Let $K$ be a totally real biquadratic field, and let $\mathcal{O}_K$ be its ring of integers. The Pythagoras number $\mathsf{P}(\mathcal{O}_K)$ is the least number of squares neede…