6 lines
218 B
Markdown
6 lines
218 B
Markdown
---
|
|
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."
|
|
---
|