[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"aihot-art-94175":3},{"itemId":4,"vertical":5,"category":6,"source":7,"score":8,"title":9,"summary":10,"analysis":11,"url":12,"coverUrl":13,"direction":13,"marketSignal":13,"publishedAt":14},"94175","ai","模型发布\u002F更新","Greg Brockman",68,"GPT 5.6 数学证明获专家认可","GPT 5.6在数学证明上获得专家认可，被视为数学进步的分水岭。","GPT 5.6 Sol 在数学证明方面获得专家认可，被认为可能推动数学进步。\n· 专家 gdb 表示 GPT 5.6 Sol 是数学方面最有趣的模型，其新证明主张经详细检查均正确。\n· 这些证明包含有趣的思想，可能成为数学研究的分水岭时刻。\n· 该模型在 erdosproblems.com 上提交的证明得到认可，显示 AI 在高级数学推理上的突破。\n· 专家认为科学和医学进步因此更近，AI 辅助数学研究前景广阔。\n看点：GPT 5.6 Sol 展现 AI 在数学证明领域的潜力，或加速科学发现。","https:\u002F\u002Fx.com\u002Fgdb\u002Fstatus\u002F2078977720793661459",null,"2026-07-20 06:58:08"]