Signal
4 articles covering "particle physics"
A University of Bath researcher used the Lean 4 theorem prover to formalize a 2006 particle physics paper and discovered its central stability theorem is false, marking the first time formal verification has uncovered a substantive error in published physics research.
Back-to-back results at Moriond 2026 confirm the most massive bound state ever observed and resolve a two-decade search for the doubly charmed baryon.
The BASE experiment at CERN successfully moved 92 antiprotons in a portable cryogenic trap across the laboratory's campus, demonstrating that antimatter can survive road transport and paving the way for precision measurements at facilities across Europe.
The CMS Collaboration at CERN has detected wakes left by quarks speeding through quark-gluon plasma, providing the first direct evidence that the matter filling the universe in its first microseconds behaved as a nearly perfect liquid rather than a gas of free particles.