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
超详细！2025科技创变者大会最新议程公布！
1.5B刷新数学代码SOTA！快手&清华精细化Token管理，LLM推理能力飙升
以“具身智能基座”为核，睿尔曼携全产品矩阵及新品亮相2025 WRC
机器人需求驱动导航新SOTA，成功率提升15%！浙大&vivo联手打造
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限
