Experience writing combinatorics paper in collaboration with LLMs (see Appendix) | Dark Hacker News