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

Avvablog 对 @HarmonicMath Aristotle 最近提出的 Erdos 问题 #124 的“解决方案”提出了一个有趣的论点。这表明，真正具有巨大潜力的并非自动化定理证明和形式化，而是系统地寻找更简洁明了的问题陈述。