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
DeepSeek突然拥抱国产GPU语言!对标CUDA替代Triton,华为Day0适配
2026拜年别写对联了,让AI替你写首歌吧
KTransformers入选计算机系统顶会、与主流框架合作,趋境&清华让「异构」成为推理新范式
抖音&LV-NUS开源多模态新模,以小博大刷新SOTA,8B推理比肩GPT-4o
中国中文信息学会2025学术年会暨第二届中国大模型大会(CIPS & CLM 2025)于10月28日在北京盛大开幕
38.98万元起!2026款腾势N9正式上市