OpenAI发布内部前沿模型生成的新数学成果。成果包括Lean语言形式化证明。每项成果消耗约ChatGPT Pro三小时推理量。涉及AI及数学研究。

OpenAI宣布AI给出千禧难题证明，具体题目和验证状态未披露；该事件属于人工智能基础研究领域；相关方为OpenAI及数学界。