标签 > 1500万美元！OpenAI联手Anthropic，请数学家给AI「验卷」

西蒙斯基金会、OpenAI、Anthropic 共同推出合计 1500 万美元的专项计划，出资邀请数学家核验、读懂、拓展 AI 产出的数学证明，相当于