Page doesn't say, but I'm guessing with help from AI
But then, why were they the first to issue the correct series of prompts to produce these results?
This would lend credence to the efficacy of using LLMs as tools. If mathematicians in the packing field had used the tool before this liberal arts student, they'd have their names on the record page.