Meta 用 Muse Spark 推翻群论猜想

3️⃣ 群论：研究人员通过找到一个反例，推翻了一条关于描述对称性的数学结构的猜想。Muse Spark 生成了找到该反例的搜索代码，团队验证了结果并完成了证明。 阅读论文：https://ai.meta.com/research/publications/semiabelian-groups-need-not-be-monomial/