AI Chat
AI Drawing
AI Img Proc
AI Video
AI Audio
AI Coding
AI Office
AI Design
AI Writing
AI Reading
AI Detection
Prompts
Frameworks
AI Models
AI Learning
AI Directory
AI快讯
♥
English
中文
English
量子位
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
Direct Link
">
View on Mobile
Content assisted by AI. Please review carefully.
Related Navigation
可灵2.5 Turbo太凶残：30%成本暴降+效果飞跃，生成体操动作可去参赛
百元级硬件流畅运行百亿参数大模型！上交&本智激活开源端侧原生大模型
让机器人在“想象”中学习世界的模型来了！PI联创课题组&清华陈建宇团队联合出品
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
重生之在《我的世界》做山姆·奥特曼：网友在线手搓ChatGPT
宇树：开源机器人世界大模型！
