The LHC example is so simple ChatGPT did it in a single go. Again, this is generative AI
"For particle physics researchers seeking to unravel the cosmos, the Large Hadron Collider (LHC) offers an unparalleled solution. Unlike conventional particle accelerators, the LHC achieves extraordinary collision energies, enabling experiments that mirror the early universe's conditions. This distinctive feature has led to groundbreaking discoveries, notably the Higgs boson. In contrast to other accelerators, the LHC's unmatched power and global scientific network establish it as the premier choice for unlocking the universe's deepest secrets, setting it apart in its capacity to explore uncharted frontiers in particle physics."
In fact, I asked it to do it for Lean and it could do it just fine.
In contrast, the main lean website starts like this:
The Lean (jargon) is a (jargon) developed principally by Leonardo de Moura.
There's this bizarre fetishism for making things inaccessible and then personally belittling and insulting people when they state the obvious.
The other inexplicable behavior is the tendency to give "answers" by pointing to giant manuals that don't answer the question.
This is endemic to ML. Someone asks what say "Vit-L" versus "Vit-H" means and the answer is usually a link to some ~40 page peer reviewed LaTeX that mentions the acronyms but doesn't define it either.
The strategy is to do anything but be transparent and direct.
