实测给弱模型喂提示，能否复现前沿大模型发现

danshipper · x · 2026-08-03

作者在登机前给 GPT-5.6（注：应为非官方别名或笔误）布置了一项挑战：在提供代数数论提示的情况下，看它能否重现 Astra 模型此前对埃尔德什平面单位距离猜想（Erdős's planar unit distance conjecture）的证明。

作者的核心理论是：如果给予正确的概念性提示，较弱的模型往往也能复现前沿模型的发现，因为强模型的优势很大程度上在于探索和寻找正确的方向。随后作者发文表示“把它搞崩了”，暗示测试过程出现了有趣的报错或异常结果。