← 返回 AIRadar 首页
Meta AI 官方展示 Muse Spark 在数学研究中的实际应用，数学家利用该工具解决随机点拟合拉伸球面的概率问题，并证明精确拟合可能性的锐利截断现象，标志着 AI 辅助数学发现进入新阶段。