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

Avvablog 對 @HarmonicMath Aristotle 最近提出的 Erdos 問題 #124 的「解決方案」提出了一個有趣的論點。這表明，真正具有巨大潛力的並非自動化定理證明和形式化，而是有系統地尋找更簡潔明了的問題陳述。