AI聊天
AI绘画
AI图片处理
AI视频
AI音频
AI编程
AI办公
AI设计
AI写作
AI阅读
AI检测
提示词
开发框架
AI模型
AI学习
AI导航
AI快讯
♥
中文
中文
English
量子位
超越DeepSeek-R1,数学形式化准确率飙升至84% | 字节&南大开源
链接直达
">
手机查看
内容由AI协助整理,请仔细甄别
相关导航
支付宝携手千问App、淘宝闪购等发布中国首个AI商业协议ACT
Science打脸“赢在起跑线”!少年天才90%成年后止步顶尖水平之下
AI编程节省95% token,工具调用上限狂飙20倍,开源记忆系统登顶GitHub热榜
MEET2026挤爆了,AI圈今年最该听的20+场演讲&对谈都在这
4B小模型数学推理首超Claude 4,700步RL训练逼近235B性能 | 港大&字节Seed&复旦
缺数据也能拿SOTA?清华&上海AI Lab破解机器人RL两大瓶颈