清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明 清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明 关键词: AI新闻,模型训练,AI数学家系统,AIM 当AI不再只是解题机器，而能与人类并肩完成严谨的科研证明，这意味着什么？ 来自主题: AI技术研报 5538 点击 2025-11-05 10:27
