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
龙虾再进化！强化飞书表格技能，25.2万星登顶超越React/Linux
抖音&LV-NUS开源多模态新模，以小博大刷新SOTA，8B推理比肩GPT-4o
飞书多维表格“应用模式”上线，零代码搭建专业业务系统
KTransformers入选计算机系统顶会、与主流框架合作，趋境&清华让「异构」成为推理新范式
百元级硬件流畅运行百亿参数大模型！上交&本智激活开源端侧原生大模型
陈丹琦有了个公司邮箱，北大翁荔同款
