没有找到与「丘成桐弟子带AI狂写470万行，庞加莱猜想证明首次被机器完整验证」匹配的报道

• 换用语义检索：不必用原词，按意思也能找到
• 减少限定词，或去掉 source: / title: 之类的限制
• 留存窗口为 30 天，更早的报道已被清理