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
一个APP就能拍短片！人物、字幕、BGM……AI Agent统统自己搞定
智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军
Kimi K2 Thinking突袭！智能体&推理能力超GPT-5，网友：再次缩小开源闭源差距
缺数据也能拿SOTA？清华&上海AI Lab破解机器人RL两大瓶颈
“智”途论道，百位业界大咖解码下半场“换挡时刻”
Gartner首次发布大模型报告：火山引擎排名中国厂商第一
