#问答时间#
问:今天OpenAI宣布解决了一个Erdos Conjecture,我没有足够的专业能力来verify这一突破来自于预训练中的海量搜索联想能力还是长序列逻辑推理能力,请教王先生研究一下。
我们之前的主要分歧在于当前Frontier Model的底座能力中的逻辑能力是否充足,我的观点是AI的逻辑潜能已经达到人类专家,但是没有足够的feedback loop把它们从后训练中挖出来。不知道这一成果是否改变您对AI逻辑能力不足的看法?
@王孟源dudu 答:首先,Erdos很喜歡做猜想,全部加起來即使沒有上千、也有至少幾百個"Erdos Conjectures";請注意,這裏面涵蓋147篇Erdos的論文,每篇最多有99個猜想。這次被AI破解的這個,微不足道。
其次,我沒有找到足夠細節來100%確定,不過這個AI解似乎是屬於“來自其他領域的解法”那個類別。
2026-05-26
发布于 北京
