GPT 5.6 Sol 数学证明正确且含新思路
OpenAI 的 GPT 5.6 Sol 在数学证明上表现靠谱，检查了几项新证明全对，还带来了新思路。
OpenAI 的 GPT 5.6 Sol 被认为是最有趣的数学模型。
Thomas Bloom 检查了 erdosproblems.com 上几个新证明，均正确。
这些证明包含有趣的想法。推文认为数学与科学进步已接近。
Feels like a watershed moment for advancing mathematics. Scientific and medical advances which can really improve people’s lives feeling very close now. Thomas Bloom @thomasfbloom So far GPT 5.6 Sol is the most interesting new model mathematics-wise for me - those of the new proof claims on erdosproblems.com that I've looked at in detail have all been correct, and moreover contained some interesting ideas. 1/7 🔗 View Quoted Tweet📊 9 ⚡
This report is categorized under AITOP's "Models" desk. Key entities and technical topics under continuous tracking include GPT 5.6, Sol, OpenAI, reasoning models.
Source attribution: curated from Greg Brockman (@gdb). Cross-source corroboration: 9 independent sources have covered this development (including 歸藏(guizang.ai), berryxia, Decoder), confirming industry-wide signal strength.
