ChatGpt有大杀器没有拿出来。前两周各家AI去证数学家们出的10个引理，ChatGPT的内部模型最终提交了6题，惊的

菲尔兹大牛Terence Tao 和Tim Gowers 亲自下场验证，最后结果是其中3题有缺陷，但是确实是完美证出了3题。这10个引理证明题是那些top 数学家手上刚做出来 还没发表公布的最前沿研究。

Gemini优点很多，速度快，表达能力强，EQ高，我自己也在用，但是在智力上暂时还比不过ChatGPT