AI-generated writing does not bother me, unless it is intended as prose writing, where the flow communicates as much as the specific facts that are described. For technical writing, I usually just scan for important information anyway, and in that sense the only thing that bothers me about AI-generated writing is if it's too verbose and obscures the important information by leaning ineffectively on jargon and high-minded verbiage. I find that Claude Opus is very guilty of this, whereas GPT 5.6 variants are not.
>the only thing that bothers me about AI-generated writing is if it's too verbose and obscures the important information by leaning ineffectively on jargon and high-minded verbiage
But so many READMEs and design docs are degraded to this level by uncritical/unmonitored use of Claude. You make it sound like it’s an exception, not a rule.
In my experience, that brain damage inducing Claude-style technical writing is everywhere. It sucks not only because of its verbosity, but because it includes completely pointless tidbits extracted from random extended LLM sessions, with no attempt to prune redundant or gratuitous details.
Can we please make it so that AI CEOs are smart enough not to optimize everything according to the focus group that is their shareholders? Seems like we could solve the enshittification problem with this if we play our cards right.
Unless humanity can figure out a way to make a binding international agreement to pace development, it doesn't seem practical to expect US frontier labs to do it.
It's fairly obvious that the frontier labs are proposing that only "paced" providers would have access to the US market - and by extension the G7 market. They don't mind splitting market share between the three of them, they do mind open models destroying the "frontier lab" operating model.
Even if all GCR models were banned, anyone with access to 20k-1MM GPUs can throw their hat in the ring to make a new frontier open model.
But that doesn’t matter a lot when some nation state is using their own AI to hack US assets, right? How, exactly, would a lockdown or slowdown prevent that?
If history has shown one thing it’s that China often capitalizes very well on these types of measures.
In a similar vein, where does the theorem statement even reside, just so we can take a look at how large that is? Is it the four files with "Theorem" (and no "Comparator") in the file name? ("R3/Theorem.lean", "LocalPaperTheorem.lean", "PeriodiocPaperTheorem.lean", and "WholeDomainPhysicalStageTheorem.lean").
It depends on what you mean by that. In general we hope that the environment and theorum statements are correct. If they are, we know that the formal proof proves the theorum we want. If your asking how we know that the formal proof actually matches the informal proof, we do not.
Isn't it also a simple idea that a model designed to recall relevant information from its training data, which is also known to have been trained on data from user transcripts, would, in fact, reproduce directly relevant work by leading experts in the field? Seems like Occam's razor would apply to that situation as well.
We know that LLMs are trained to recall relevant info. We know AI vendors are using user transcripts to train models. Two plus two equals four, right? I mean, an LLM that failed to recall the transcripts of those researchers would be a bad model.
Honestly this whole thing is so fucking weird. I feel like there's an argument that absolutely no one involved in the final crossing of the finish line to the proof actually did any work (other than just intelligently directing an LLM) and deserves any credit. As the author of this doc mentions, the mathematicians who did the actual work that led to the formulation of this approach (without the use of LLMs; just good ole' fashioned human intellect) are the ones who deserve the credit.
Imagine that a no name janitor used their time in the evenings to go spelunking through the literature to push an LLM to this result. No one would care because that person isn't an anointed expert. So why would the expert deserve any more credit? Because they sort of understand the result, even if they couldn't have achieved it on their own? The whole issue of credit for AI-assisted discoveries seems like it's going to run into a brick wall pretty soon.
Yup! I wanted to side with the mathematician on this one but I read the statement only to discover that they were also pushing an llm on someone else’s idea producing mountains of slop.
Have LLMs actually improved anything? Is mathematics better off than if these slop proofs didn’t exist? Who or what is actually benefiting here.
And then he wanted New Mexico to be New America. Capitulation is not just about what they're asking for now, but also what they'll be emboldened to ask for in the future.
Census bureau works pretty hard to get as accurate a count as possible, and hires mathematicians specifically to work on privacy. This is about the administration trying to put its finger on the pans
The article doesn't address what I think are the main complaints about H-1B: that it is mostly used to cut costs and hire people who have very little freedom to switch jobs. That and all the trickery with ghost jobs meant to only give the appearance of hiring stateside. The example given is also not great. Von Braun was one remarkable foreign expert in a leadership position. On the other hand, in my experience, many H-1B hires tend to occupy low-level jobs; ironically the very ones that the author says will be filled by motivated Americans. I mean...just try working at any American FAANG. The evidence is totally in your face.
> The article doesn't address what I think are the main complaints
Over the last 20 years, I've noticed this is most of political journalism today.
Post a headline refuting the thing, ignore the primary issue from the thing you're refuting. People who don't already deeply understand the issue don't know any better.
Everything can be factually correct. It's all just framing by what you choose to leave out / ignore.
That is the real reason. Immigrants are cheap and will work hard maybe at the cost of quality. Companies will to hire cheap or will outsource to cheaper countries. I think every generation had cheap foreign labor coming to America which fueled the growth. Right now it is H1b labor.
In a way, it's nice that Trump is giving such a good, practical demonstration of why being a bully never works out the way you think it will. A good education for those who need it. Just sucks that we all have to pay for it out of pocket.
reply