Meta's Muse Spark helps disprove a group theory conjecture with counterexample
Original title3️⃣ Group Theory: Researchers disproved a proposed rule about mathematical structures that describe symmetry by finding one counterexampl...
AISummary
Researchers disproved a proposed rule about symmetry-describing mathematical structures by finding a single counterexample. Muse Spark generated the search code that located it, and the team verified the result and completed the proof.
Source: AI at Meta · x.comPublished · added here