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
“半路截胡”张益唐，北大出身的中山大学校长这样做
一只大头机器狗供不应求，打响了消费级具身智能第一枪
比NanoBanana更擅长中文和细节控制！兔展&北大Uniworld V2刷新SOTA
加速推进“Robot for AI”战略落地，动易科技完成亿元级天使++轮融资，天使轮累计融资额超2亿元
百度生成式AI和大模型专利中国第一，全栈创新驱动AI应用领先
中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕
