Post #2438866
2026-04-27 15:31 UTC
@tao@mathstodon.xyz I wouldn't say »proof abundance«, rather »claim abundance«. The question is how much the failures in filtering the errors caused by not-actually-thinking will impact further actual progress.
Replies (1)
-
@djl@mastodon.mit.edu 2026-05-06 13:05
@Ardubal@mastodon.xyz @tao@mathstodon.xyz Svante wrote: " I wouldn't say »proof abundance«, rather »claim abundance«." This is exactly correct. The underlying LLM technology can't do multiplication, let alone any serious math. But it is great at rehashing existing text into beautiful looking text, some of which is dead wrong. So the problem of erronious but beautiful looking text appears in every single "LLM application". At some point, we will all realize that this was a really stupid idea.