OpenAI刚刚发布了700篇数学证明和反例预印本 OpenAI刚刚发布了700篇数学证明和反例预印本 OpenAI发布700篇数学证明和反例预印本，涵盖代数、组合学、逻辑等领域，利用AI加速数学发现。 2026-10-07 AI & Machine Learning 0 Administrator