完全同意！
solver和constructer用得很准确。

【 在 qtpr 的大作中提到: 】
: 数据驱动的AI是没能力外推的。目前的AI范式，至多让AI成为一个好的solver（虽然目前它并不是一个好的solver），但离constructer相去甚远。
: 用数学做类比，AI至多是好的小镇做题家，在奥数上拿拿金牌。但是跟格罗藤迪克这种体系建构者依然有天壤之别。
:
--
FROM 118.113.41.*