有没有理工科的的佬友，分享下平时遇到推导、证明和一丢丢的小创新用的是啥AI，最近感觉5.5和opus给我的答案都不是很理想。。。还是说得加点提示词约束下。