來自 Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)（@teortaxesTex）的推文串

PROOFGRID 是一套全新的、具有挑戰性但又易於處理的邏輯推理任務，它構成了一個與領域無關的基於約束的推理測試。 Grok 4 在 PROOFGRID 的困難子集上達到了最新水平，並且領先優勢明顯。 @doomslide 和 @VictorTaelin 如果還沒看過的話，可能會喜歡。

我預測如果有人嘗試測試 Kimi-Thinking，結果會是 0.23。 https://t.co/nyEDiQsZ1Z 這裡有很多東西可以學習。