It might also be helpful more than 'necessary'. The 2 most notable solutions have come from open ai themselves, but most of the 'LLM solves open problem' category are from 3rd parties doing their own thing.
This one was pretty impressive in its own right (probably the most impressive outside these 2), and the prompt is concise and basic.