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