⚡ 40 h early
LLM math proofs function critique
The function of LLM-based math "proofs"
7 experts across 2 network communities independently surfaced this.
Why this matches
Building & implementation reaction
1 attributable expert contribution
· Alex Hanna
“@tante.cc: 'Those “proofs” are about narrative building. Which is why especially people with no b/g in math keep using them as definite proof of LLMs being “more than just stochastic language models” which is just factually untrue and the mark of deeply uns…” evidence ↗
7 experts
2 communities
1 sources clustered
How the network is reacting
Experts are approaching this through 2 distinct lenses.
Multiple readings
Building & implementation
1 expertHow teams are shipping and applying it.
“@tante.cc: 'Those “proofs” are about narrative building. Which is why especially people with no b/g in math keep using them as definite proof of LLMs being “more than just stochastic language models” which is just factually untrue and the mark of deeply uns…”
Opportunity & adoption
1 expertNew capabilities, benefits and practical upside.
“I see a lot of conjecture on what is going on inside AI labs and attributing malice or cynicism where there isn’t any direct evidence for it. There is no doubt that the leadership saw a marketing opportunity in these cases but that isn’t why the work is don…”
3 experts discussed this · 6 posts
Alex Hanna: @tante.cc: 'Those “proofs” are about narrative building. Which is why especially people with no b/g in math keep using them as definite proof of LLMs being “more than just stochastic language model…
Luke Stark: @tante.cc: 'Those “proofs” are about narrative building. Which is why especially people with no b/g in math keep using them as definite proof of LLMs being “more than just stochastic language model…
Alex Hanna: This replicates the way that people talk about "AI" and cancer, or AlphaFold and materials engineering. This is narrative work, and researchers are embroiled in jurisdictional and resourcing battle…
Open the full discussion →