AI聊天
AI绘画
AI图片处理
AI视频
AI音频
AI编程
AI办公
AI设计
AI写作
AI阅读
AI检测
提示词
开发框架
AI模型
AI学习
AI导航
AI快讯
♥
中文
中文
English
量子位
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
链接直达
">
手机查看
内容由AI协助整理，请仔细甄别
相关导航
我在WAIC上看到的十大趋势
400元遥操95%机械臂！上海交大推出开源项目U-Arm，打造通用、低成本的人机遥操作接口
中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
抖音&LV-NUS开源多模态新模，以小博大刷新SOTA，8B推理比肩GPT-4o
中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕
