Content

2026-09-20 11:46:46 -05:00
parent e3d708a97b
commit 8d4db49d7d
5 changed files with 60 additions and 0 deletions
@@ -0,0 +1,5 @@
+---
+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."
+---