@alwayscurious @alyssa There are automated systems to generate mathematical proofs, but I don't think those work anything like LLMs.