前几个月买gpt4o
结果数学还是常常算错 超烂
前几天看到影片
有工程师把prompt调到最好
去考数甲 数乙（数乙超简单的）
分数还是连及格都没有
有什么数学强的Ai模型可以用啊
听说阿发狗团队有出alpha proof?
还是有什么其他的