这些小的推测被大型语言模型证明是百万分之一的正确证明。令人印象深刻，但有点像马戏团的马能数到五一样。