传奇数学家唐纳德·克努斯揭示了Opus 4.6解决了他长期以来的猜想： “claude opus 4.6 破解了我长期以来的哈密顿环猜想，适用于所有奇数大小——这是我计算机程序设计草稿中的一个未解问题，看到它被解决真是‘一种快乐’” 也许是时候将LLMs视为AGI研究的严肃工具了。