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等8大产品都是意外？！改变世界的项目们最初都没当事儿办
Kimi K2 Thinking突袭！智能体&推理能力超GPT-5，网友：再次缩小开源闭源差距
抖音&LV-NUS开源多模态新模，以小博大刷新SOTA，8B推理比肩GPT-4o
智能体落地元年，Agent Infra是关键一环｜对话腾讯云&Dify
朱啸虎投的第一个AI硬件公司，又完成一轮融资
百元级硬件流畅运行百亿参数大模型！上交&本智激活开源端侧原生大模型
