我没看现在大模型怎么搞

但数学推导与证明是AI上世纪六七十年代符号主义的优势


【 在 icome 的大作中提到: 】
: 数学推导是怎么实现的？
--
修改:pixYY FROM 111.36.201.*
FROM 111.36.201.*