瘦身

在 GitHub 上创建了372个人工智能数学考试, 挑战学术界追赶

OpenAI 在 GitHub 上发布了372个数学证明,使用精益检查来简化审查并引发关于原创性和AI研究速度的辩论.