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
华为发布AI超节点服务器Atlas 850，支持128台1024卡超节点集群
1.5B刷新数学代码SOTA！快手&清华精细化Token管理，LLM推理能力飙升
让机器人在“想象”中学习世界的模型来了！PI联创课题组&清华陈建宇团队联合出品
MEET2026挤爆了，AI圈今年最该听的20+场演讲&对谈都在这
2025世界机器人大会8月8-8月12日，在北京召开
中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕
