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
高中没毕业直接读博，17岁少女推翻40年数学猜想后的下一步
突破Agent长程推理效率瓶颈！MIT&NUS联合推出强化学习新训练方法
多模态模型学会“按需搜索”，少搜30%还更准！字节&NTU新研究优化多模态模型搜索策略
Gemini负责人爆料！多模态统一token表示，视觉至关重要
7B模型对标GPT-4o，全球首个医疗代码生成大模型训练平台来了
AI打假AI，拿下SOTA丨厦大&腾讯优图
