OpenAI 发布数学领域AI研究成果，涵盖准黎曼猜想等722个难题

OpenAI 在GitHub发布由内部前沿模型生成的722篇数学手稿，涵盖372个悬而未决的顶级数学难题，包括准黎曼猜想、霍奇猜想、马勒猜想等重大突破，并提供Lean形式化验证与推理过程。平均每次证明消耗约3小时ChatGPT Pro算力。OpenAI表示将资助相关研讨会并持续改进发布规范，以促进科学透明与开放。