ZAEKR新闻
"数学竞赛" 相关文章
全球首个，国产 ai 出的题被收入高规格人类数学竞赛
IT之家 01-27
北大华为联队夺冠：形式化数学竞赛33 支队伍角逐，国产大模型啃下形式化证明硬骨头
量子位 12-20
青岛科技大学在 2025 年全国大学生数学建模竞赛中创佳绩
信网 12-23