标签:数学推理

Meta开源用于数学等复杂推理AI Agent—HUSKY

Meta、华盛顿大学和阿伦AI实验室的研究人员联合开发了一款名为HUSKY的AI Agent,专注于数学、表格等复杂推理任务。HUSKY通过统一行动空间和迭代推理方法,提...

首届AI奥数竞赛方案公布:4支获奖队伍,竟都选择国产模型DeepSeekMath

全球首届AI数学奥林匹克竞赛(AIMO)的获奖结果引起了广泛关注。在这次比赛中,共有五个团队脱颖而出,其中Numina团队荣获第一名,CMU_MATH获得第二名,after...

菲尔兹奖得主亲测GPT-4o,经典过河难题破解失败!最强Claude 3.5回答离谱,LeCun嘲讽LLM

在探讨大型语言模型(LLM)的数学推理能力时,菲尔兹奖得主Timothy Gowers对GPT-4o进行了一项测试,以解决经典的“狼-山羊-卷心菜”过河问题。结果显示,即使是...