Gaussian integers are complex numbers of the form a + bi where both a and b are integers, and they form a unique factorization domain akin to the integers but within the complex plane. They are useful in number theory for problems involving divisibility and prime factorization, extending classical results to a broader context.