OpenAI 介绍数学家借助 GPT-5.6 攻克此前无解的数学难题

OpenAI 近日在 X 平台官方账号发布了一条短文，介绍了一位名为 Bartosz（账号 @nasqret）的数学家，称其正在借助 GPT-5.6 解决一些此前无法求解的数学问题，并附上了相关视频链接。

官方信息的核心内容

这条来自 OpenAI 官方账号的帖子本身十分简短，主要传递了三层信息：

• 人物：OpenAI 重点推介的用户 Bartosz，职业背景为数学家。
• 工具：其所使用的是 GPT-5.6，模型版本名称是首次在 OpenAI 官方渠道出现。
• 成效：OpenAI 用「previously unsolvable math problems」（此前无法求解的数学问题）来描述 Bartosz 的工作成果。

帖子中并未提供具体是哪一类数学问题、解决了哪些已有猜想或方程、是否经过同行评议等细节，也未公布 GPT-5.6 相比此前版本在数学推理能力上的具体指标。

值得关注的两点

• 模型版本名称：GPT-5.6 此前并未在 OpenAI 的公开产品矩阵中正式列出，仅在本帖中被提及。尚不清楚这是已上线版本、内部测试版，还是更广泛的下一代模型的代号。
• 应用方向：OpenAI 选择以「解决无解数学问题」作为叙事切入点，与近期业界关注大模型在形式化推理、竞赛级数学表现的趋势相吻合，但本帖未提供可验证的 benchmark 数据。

现状与待确认信息

截至目前，OpenAI 并未就此条帖子发布配套的官方博客、模型卡或技术说明，外界对以下信息仍不得而知：

• GPT-5.6 的训练规模、上下文长度和定价策略。
• Bartosz 所解决的数学问题的具体领域（数论、组合、拓扑等）以及是否有可公开的解题过程。
• 该案例是否经过独立验证或同行评议。

综上，这是一条来自官方一手信源、但内容高度浓缩的动态资讯，适合作为行业动向留档，后续仍需 OpenAI 或第三方补充更多技术细节。