OpenAI 公布 372 个 AI 生成的数学证明，挑战学术界的评审机制
openai 将 372 个数学证明发布到 github，旨在推进开放问题和改进计算机算法。
openai has released 372 mathematical results generated by an internal ai model on github, with the goal of advancing open problems and improving computer algorithms. the results were produced by a single ai agent, with each one consuming about three hours of chatgpt pro compute on average. openai consulted with the advisory group on mathematics and artificial intelligence and plans to fund workshops and conferences to understand ai-produced results.