精选理由
OpenAI 的 GPT 5.6 Sol 在数学证明上表现靠谱，检查了几项新证明全对，还带来了新思路。
OpenAI 的 GPT 5.6 Sol 被认为是最有趣的数学模型。Thomas Bloom 检查了 erdosproblems.com 上几个新证明，均正确。这些证明包含有趣的想法。推文认为数学与科学进步已接近。
原文 · Greg Brockman
Feels like a watershed moment for advancing mathematics. Scientific and medical advances which can r...
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 💬 6 🔄 2 ❤️ 70 👀 12195 📊 9 ⚡