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
ICRA 2026｜中兴开源RealMirror平台，以端到端仿真基座推动具身智能研发普惠化
大模型隐私安全和公平性有“跷跷板”效应，最佳平衡法则刚刚找到 | 人大&上海AI Lab
字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限
机器人需求驱动导航新SOTA，成功率提升15%！浙大&vivo联手打造
非Transformer架构落地之王，带着离线智能和原生记忆能力在上海WAIC浮出水面
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
