We review the Gauss circle problem, and Hardy’s conjecture regarding the order of magnitude of the remainder term. It is attempted to rigorously formulate the folklore heuristics behind Hardy’s conjecture. Some weaker forms of the likely statement are proved to support it. This talk is based on joint work with Steve Lester.

This work relates to this arXiv paper.

This video is part of the Institute for Advanced Study‘s Special year research seminar.