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出题,一场智能时代的认知重构即将开启
机器人需求驱动导航新SOTA,成功率提升15%!浙大&vivo联手打造
机器人需求驱动导航新SOTA,成功率提升15%!浙大&vivo联手打造
AI打假AI,拿下SOTA丨厦大&腾讯优图
4B小模型数学推理首超Claude 4,700步RL训练逼近235B性能 | 港大&字节Seed&复旦
多模态模型学会“按需搜索”,少搜30%还更准!字节&NTU新研究优化多模态模型搜索策略