← 返回 AIRadar 首页
Meta AI 团队利用 Muse Spark 在非结合代数中找到一个生物学启发数学规则的例外，并进一步开发了替代性表征，经研究人员验证与完善，展示了 AI 辅助数学发现的新进展。