OpenAI刚刚发布了700篇数学证明和反例预印本 OpenAI发布了700篇数学证明和反例预印本，推动数学研究民主化，为研究人员、教育工作者和爱好者提供免费资源。 2026-10-07 AI & Machine Learning 0 Administrator
OpenAI刚刚发布了700篇数学证明和反例预印本 OpenAI刚刚发布了700篇数学证明和反例预印本 OpenAI发布700篇数学证明和反例预印本，涵盖代数、组合学、逻辑等领域，利用AI加速数学发现。 2026-10-07 AI & Machine Learning 0 Administrator