量化应用

OpenAI公布722篇数学手稿：AI把算力和人类智力赛跑

OpenAI开源722篇AI自动生成的数学证明手稿，涵盖逼近黎曼猜想等重大命题。