利用尚未发布的内部模子获得，该内部模子被提出了4000个数学问题。不代表磅礴旧事的概念或立场，时间10月7日晨，本文为磅礴号做者或机构正在磅礴旧事上传并发布，涵盖理论计较机科学、数论、几何、数学物理等17个范畴。申请磅礴号请用电脑拜候。正在评估过程中，绝大大都成果均采用不异流程，并按照成果相关性将其划分为372个“成果族（Result Families）”，具体来说，这些包罗正在准黎曼假设、Hilbert第十个问题、Mahler猜想、Kaplansky相关猜想等主要数学问题上的进展，平均每个成果花费相当于ChatGPT Pro三个小时的计较量。OpenAI发布了一款内部前沿AI模子发生的大量数学。OpenAI，部门已有Lean形式化证明。OpenAI正在Github平台上一次发布了722篇数学手稿，仅代表该做者或机构概念，