When you read the detail the compute they are throwing at it is incredible, tens of thousands of agents with different groups competing.
It's not like a single Gauss as you imply, "just" many, many mathematicians working tirelessly in a completely ego-less way, guided by other agents and ultimately humans, built - allegedly - on recent human insights.
Stunning, undoubtedly, but this is a "brilliant autistic herd" result, not that of a singular mind.