A transcedental dance with twists and turns. How we used LLMs to prove a really awesome mathematical result, and how the LLMs then pointed out that the work had already been done, and better :-)
Post:
https://www.bayesianspectacles.org/a-transcendental-dance/
Appendix:
https://osf.io/nwg2v/files/cvr8x










