Both of you are being overly dismissive of yourselves. Without either a proof or a program that proves the statement in question, I wouldn't trust the LLM. I wouldn't even trust if it produced citations, because I've already come across LLMs citing sources to back up statements without being able to find that information in the source (not saying it wasn't there, just that I was not able to find it).