← 返回话题列表

# 数学形式化

相关话题

2026-08-24

AI人才争夺与前沿研究

OpenAI核心研究员Luke Metz转投Meta超级智能实验室，凸显顶尖人才争夺白热化；40位顶尖数学家闭门探讨AI对数学的深层影响，OpenBMB开源MathForm推动数学自动形式化，显示AI与基础学科交叉研究加速。
AI人才 数学形式化 前沿研究 人才流动 学科交叉
📰 8 条相关内容 查看详情 →