Around Gauss Circle Problem: Hardy's Conjecture and the Distribution of Lattice Points Near Circles

This talk is based on a joint work with Steve Lester.

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.