While we should be skeptical until made in a lab or verified by others, this is a much better use of LLMs than solving math theorems/conjectures
The fact that the major "uses" of LLMs have been contributing to the acceleration of the dead internet theory, and building millions of versions of the same apps that no one is going to maintain, is extremely sad.