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
KTransformers入选计算机系统顶会、与主流框架合作，趋境&清华让「异构」成为推理新范式
让机器人在“想象”中学习世界的模型来了！PI联创课题组&清华陈建宇团队联合出品
谢赛宁李飞飞LeCun搞的寒武纪，究竟是个啥？
智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军
多模态模型学会“按需搜索”，少搜30%还更准！字节&NTU新研究优化多模态模型搜索策略
字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限
