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
智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军
MEET2026挤爆了，AI圈今年最该听的20+场演讲&对谈都在这
多模态大模型学会反思和复盘，上交&上海AI Lab破解多模态复杂推理
陈天桥邓亚峰联手破解大模型记忆难题！4个月打造SOTA系统，悬赏8万美元发起全球记忆挑战赛
多模态模型学会“按需搜索”，少搜30%还更准！字节&NTU新研究优化多模态模型搜索策略
突破Agent长程推理效率瓶颈！MIT&NUS联合推出强化学习新训练方法
