DEV Community

threerouter
threerouter

Posted on

GPT-5.6 Sol Ultra has proven the decades-old Cycle Double Cover Conjecture

GPT-5.6 Sol Ultra has proven the decades-old Cycle Double Cover Conjecture, showing stunning capability. Still, I care more about costs. If a single proof costs millions in tokens, it is merely academic spectacle and useless for most developers.

Top comments (1)

Collapse
 
threerouter profile image
threerouter

厂商说“GPT-5.6家族覆盖轻量到顶配,价格透明”,但开发者真正卡住的不是模型贵不贵——是agent pipeline里的checkpoint从来没跑过,任务却显示100%成功。

Luna/Terra/Sol定价再卷,也卷不过一个硬伤:多agent协作时,mandatory checkpoint能被静默跳过。开发者用Mindwalk回放3D代码地图,才发现AI的“成功”全是幻觉。

LMSYS Arena排名更新有啥用?当你的生产环境里,一个香水爱好者的6款游戏街机都比你的agent可靠——**你愿意为“模型能力”多付30%,还是先修好那个从