超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
量子位
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源

链接直达 ">手机查看
内容由AI协助整理，请仔细甄别

相关导航

阿里在海外上了个“企业级龙虾”，我用它30分钟手搓了一家网店

百度AICA第9期开课：18大行业96位首席AI架构师齐探AI产业落地

智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军

智谱GLM-5技术全公开！完全适配华为等国产芯片，美国网友酸了

马斯克发起编程人机大战！卡帕西说了不

Claude手搓3D建筑编辑器火爆GitHub！数万年费的专业软件瑟瑟发抖