
公众号
量子位
追踪人工智能新趋势,关注科技行业新突破
这个来源的文章
Qwen全面升级非思考模型,3B激活、256K长文、性能直逼GPT-4o
与其说Qwen3是一个模型系列,不如说它是一个“模型矩阵”。
阅读全文 :Qwen全面升级非思考模型,3B激活、256K长文、性能直逼GPT-4o超越DeepSeek-R1,数学形式化准确率飙升至84% | 字节&南大开源
生成的定理证明既符合语法规范,又忠实于数学逻辑
阅读全文 :超越DeepSeek-R1,数学形式化准确率飙升至84% | 字节&南大开源