|
| ▲ | arctic-true 7 hours ago | parent | next [-] |
| Writing is a very slippery thing. “Good” writing from 200 years ago reads as unbelievably dense and overwrought to most people today. So even if you made an LLM that was “good” at writing, how long would it stay that way? AI systems can put out more writing per day than all of humanity combined, meaning it can also generate and beat to death cliches much more efficiently. |
|
| ▲ | MarkusQ 7 hours ago | parent | prev | next [-] |
| Or, just maybe, they share a key property with the mounds of popular writing, journalism and random internet accretions they were trained on: they seem total rubbish on anything you know about deeply, but brilliant on everything else. Their math is as just as good as their rambling writing and their Ghiblified poster art. Most people don't seem to realize that. |
| |
| ▲ | orangecat 6 hours ago | parent | next [-] | | This is not a reasonable take in 2026. The proofs are valid. You can even check the Jacobian counterexample yourself with pencil and paper. | | |
| ▲ | MarkusQ 4 hours ago | parent | next [-] | | The counter example, yes. "Some subset of this collection is valid, therefore they all are" is not a valid inference. It's more like what we call "proof by intimidation". | |
| ▲ | MarkusQ 4 hours ago | parent | prev [-] | | > This is not a reasonable take in 2026. I think it is. Why is it that the only people in any field I'm aware of that think the AI output in their field is high quality are either the ones that are carefully crafting the output themselves or were producing/consuming slop themselves before all this started? (Outsiders pretty uniformly like the output, which is why I drew the parallel to Gell-Mann amnesia.) |
| |
| ▲ | Kiln6125 7 hours ago | parent | prev [-] | | The difference here obviously being that the part that you mention is more embedded in the proofs (long and difficult and near-hallucinatory) but the results that matter are that the proofs are correct and validated. So I think you're failing to account for that, the problem for math is that the journey matters less than the destination. | | |
| ▲ | MarkusQ 4 hours ago | parent [-] | | Hard disagree. If we send someone out exploring and they discover something (maybe?) but their account of their journey is impossible for anyone else to follow and contains obvious hallucinations, what have we gained? | | |
| ▲ | Kiln6125 4 hours ago | parent [-] | | Isn't the problem more like they did discover a new land (as in, the proofs are true, and the solutions are validateable) but we have no idea how to make heads or tails of how they discovered it. |
|
|
|
|
| ▲ | mooreds 7 hours ago | parent | prev | next [-] |
| > Today, the mathematicians are weeping, because the machine smashed their tower first. I read this passage and thought, "has Derek even talked to software developers"? That feels to me like the first discipline to go through this, where their daily activities are massively changed by GenAI. |
| |
| ▲ | KerrAvon 7 hours ago | parent [-] | | No, tech writers have it much worse. | | |
| ▲ | mooreds 6 hours ago | parent [-] | | Good point! Tech writers, and writers in general, were impacted before developers. Maybe visual artists/photographers were impacted before then? Anyone have a timeline of this stuff? |
|
|
|
| ▲ | 317070 7 hours ago | parent | prev | next [-] |
| Language models don't have a characteristic style you can spot from a mile away. They haven't had it since before ChatGPT. What is true, is that chat models (and by extension agents) have a very characteristic style after their LLM went through post-training. But the pre-trained language model doesn't have that style. So if you want to write well with an LLM, you could and it is a well understood problem. It is more a matter of that not being of much interest, as it competes with having the model be good for chat interfaces. How to have a well-aligned, RL'ed, safe or thinking model, which also writes well in long-form, is a bit an open problem. Though presumably agents could do it when they have access to a pretrained model. |
| |
| ▲ | SoftTalker 5 hours ago | parent [-] | | Why is writing in the style of a corporate marketing department a requirement of being good for chat interfaces? Why can't they tune them to sound more like a normal human? |
|
|
| ▲ | mr_mitm 7 hours ago | parent | prev | next [-] |
| You can just tell them to adopt a different style. To make sure, add another pass with an agent that flags and/or fixes LLM tics. Humans typically do several passes over writings that they intend to publish, why are we expecting agents to do it in one shot? Just like the superpowers skill for software development does a spec phase, planning phase, several review rounds, etc., if you do the same with writing you get very passable results. |
|
| ▲ | user43928 7 hours ago | parent | prev | next [-] |
| Makes me wonder whether it's a fundamental limitation of the technology or more like missing a good set of tasks in the training pipeline |
| |
| ▲ | qarl 7 hours ago | parent [-] | | Might be that the vast majority of their training data is poor writing. |
|
|
| ▲ | imeanwhatdoikno 7 hours ago | parent | prev | next [-] |
| Gemini's (at least for Flash 3.6 - 3.8) writing feels quite "human" to me |
|
| ▲ | logicchains 3 hours ago | parent | prev | next [-] |
| >Isn't it extraordinary that these models still can't write well? It's not at all extraordinary if you understand how they're trained. For math and programming it's possible to generate an infinite amount of training data with correct answers, as compilers and theorem provers can guarantee correctness. For writing, the quality is not objective, it's determined by human preference, so you need humans in the loop, which slows things down massively and limits the amount of data that can be generated. |
|
| ▲ | skydhash 7 hours ago | parent | prev | next [-] |
| Math and programming languages are formal. Meaning they don't have any ambiguity in them. Every statement is what it is. That means they are very rigid and there's not a lot of variance. Natural languages are more diffuse and a written piece is more the reflection of the author than anything else. That is why it's so disturbing. After several paragraphs, you realize there's nothing human there even when the actual information is present. People that do create AI piece are OK with it because they already have the context, but for the reader, it's always the uncanny valley. |
|
| ▲ | QuesnayJr 7 hours ago | parent | prev | next [-] |
| There's no money in it. There's money in programming, and math is a good target to give the models superhuman reasoning abilities, but it already writes well enough for middle managers to write all of their emails. |
|
| ▲ | cubefox 6 hours ago | parent | prev [-] |
| Recently a Canadian immigrant won a bunch of the highest French literature prizes for his novel, which then turned out to be an LLM fabrication. |