Post #1870579

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