“两年前，AI几乎无法解决高中数学。” @tachim CEO @HarmonicMath谈到AI对真实开放数学问题的贡献： “厄尔德什问题是真正开放的——未解决，但并不像千年奖那样是珠穆朗玛峰级别的。” “它们更像是困难的山丘。你不会以解决一个为职业，但如果你做到了，你会感到自豪。” “现在我们看到AI在真实开放问题上的活动。” “这意味着AI开始接触前沿，而不仅仅是练习。”