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
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
千里科技联手阶跃星辰、吉利发布下一代智能座舱Agent OS
用AI写代码效率反降19%！246项任务实测，16位资深程序员参与
浙大校友打造AI代码测试神器，零代码零bug，30分钟创建网站
突破Agent长程推理效率瓶颈！MIT&NUS联合推出强化学习新训练方法
