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博士已经太晚了”
1.5B刷新数学代码SOTA！快手&清华精细化Token管理，LLM推理能力飙升
DeepMind哈萨比斯：AI能建模所有进化而来的事物
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
1.5B刷新数学代码SOTA！快手&清华精细化Token管理，LLM推理能力飙升
只因一个“：”，大模型全军覆没
