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
多模态模型学会“按需搜索”，少搜30%还更准！字节&NTU新研究优化多模态模型搜索策略
鲁棒RL赋能AI编程！破局企业数据噪声难题，同等算力训出更好模型
两个95后华人，搞出硬件版Clawdbot，售价1700元
天选Windows打工AI来了！实测完Claude Cowork国产版：超顶
缺数据也能拿SOTA？清华&上海AI Lab破解机器人RL两大瓶颈
字节Seed发布最强数学模型：一招“打草稿”，IMO银牌变金牌
