X：AI at Meta (@AIatMeta)· X：AI at Meta (@AIatMeta)·· 3 天前AI 评分37
Meta 用 Muse Spark 推翻群论猜想
AI 导读
3️⃣ 群论：研究人员通过找到一个反例，推翻了一条关于描述对称性的数学结构的猜想。Muse Spark 生成了找到该反例的搜索代码，团队验证了结果并完成了证明。 阅读论文：https://ai.meta.com/research/publications/semiabelian-groups-need-not-be-monomial/
来源：X：AI at Meta (@AIatMeta) · x.com