OpenAI刚刚发布了700篇数学证明和反例预印本

OpenAI发布了700篇数学证明和反例预印本,推动数学研究民主化,为研究人员、教育工作者和爱好者提供免费资源。