Post #1639312

@liamoc @maxsnew In the special case of mathematicians talking about using LLMs to write either informal or formal proofs, I don't really think anybody is lying. I think it just works sometimes and doesn't work most of the time.