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
最强开源大模型除夕登场！397B参数千问3.5超越Gemini 3，百万Tokens低至8毛
让机器人在“想象”中学习世界的模型来了！PI联创课题组&清华陈建宇团队联合出品
4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦
北航团队为龙虾安全紧急开刀！开源OpenClaw风险防御工具，梳理9大高危风险缓解措施
37岁获诺奖、遭受10年学术不端争议，逆转录酶发现者大卫·巴尔的摩去世，生前最后一周还在发表论文
突破Agent长程推理效率瓶颈！MIT&NUS联合推出强化学习新训练方法
