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
多模态模型学会“按需搜索”,少搜30%还更准!字节&NTU新研究优化多模态模型搜索策略
九章云极独揽量子位三项大奖:以“一度算力”重构AI基础设施云格局
GPT-5.3上线Codex!OpenAI回应Claude新模型只用了15分钟
vivo自研蓝河操作系统内核开源!Rust开发新机遇来了
清华AI数学家系统攻克均匀化理论难题!人机协同完成17页严谨证明
Kimi K2 Thinking突袭!智能体&推理能力超GPT-5,网友:再次缩小开源闭源差距