3️⃣ Group Theory: Researchers disproved a proposed rule about mathematical structures that describe symmetry by finding one counterexample. Muse Spark generated the search code that found it, and the team verified the result and completed the proof. Read the paper: