ICML 2026 AI for Math Workshop征稿启动！四大挑战赛聚焦自进化科学智能体 第三届AI for Math Workshop将于ICML 2026在首尔举行，聚焦自进化科学智能体。征稿涵盖形式化证明、多模态推理等八大主题，并设四项挑战赛。 AI 前沿动态# AI for Math# ICML 2026# 形式化定理证明 2个月前430
