线下研讨会征集可编程验证的数学难题 · AI HOT