---
date: 2026-09-12 14:44:08
emoji: 💩
comment: "[Good read](https://tante.cc/2026/09/07/the-function-of-llm-based-math-proofs/) on LLM mathematical “proofs.” TLDR, like most of the LLM hype, they're bunk."
---