Comment by bgandrew1

You should realize that this number of results is greater than what humanity has produced over the past decade. That means either they hired thousands of mathematicians (which they obviously didn't), or they really did just use a prompt like the one you suggested.