Comment by minimaxir

There will be more and more mathematical proofs provided by LLMs as they improve. If you assume every one is just a marketing tactic, you'll drive yourself insane.