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
2025世界人工智能大会欢迎参与，7月26-7月28日
AI打假AI，拿下SOTA丨厦大&腾讯优图
智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军
中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕
智能体落地元年，Agent Infra是关键一环｜对话腾讯云&Dify
高通砸钱、雷军入股！刚刚，上海诞生一个183亿手机代工巨头
