标签:数学推理

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

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

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

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