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.