数学证明不等于数学能力,AI仍缺创造力
Yann LeCun说AI能做定理证明,但这只是数学里可自动化的部分,不是真正的数学能力,因为数学还需要创造力和直觉。
Yann LeCun说AI能做定理证明,但这只是数学里可自动化的部分,不是真正的数学能力,因为数学还需要创造力和直觉。
CreativeInstruct用特殊标记让模型在保持质量的同时更会编故事,人类测评七成认为更有创造力,还能给强化学习带来几个点的提升。
Rauch 提醒我们:AI 别当挡箭牌,练好手艺再加 AI 才厉害。短但实在。
这篇研究说AI一味追求“省事”反而帮倒忙——结构设计需要“摩擦”来激发灵感。他们用视觉语言模型做了个交互系统,帮设计师边想边改,保留思考摩擦,去掉重复劳动。