GPT-5.6 Sol Ultra 解决了50年数学猜想 —— 但它是否只是重组了旧成果？
openai的gpt-5.6 sol ultra在不到一小时内利用64个并行子代理证明了50年的圈双重覆盖猜想。数学家thomas bloom证实了该证明，但批评了ai未能引用先前的文献，引发了模型是否真正具有创造力还是仅仅坚持不懈的质疑。
openai's new model, gpt-5.6 sol ultra, reportedly generated a complete proof for the cycle double cover conjecture—a problem unproven for 50 years—in under an hour by coordinating 64 subagents. mathematician thomas bloom of the university of manchester confirmed the proof's validity, describing it as elementary and short, but criticized openai's paper for omitting citations to prior work from 1983. bloom argues the ai likely found the solution not through creative insight but by executing a 'counterintuitive twist' that humans would have abandoned too quickly, reflecting a pattern where models succeed by applying extreme patience to existing theories. this development reinforces the debate over whether reasoning models produce genuine novelty or simply recombine known literature, raising ethical concerns about attribution in ai-generated research.