AI资讯新闻榜单内容搜索-AI奥数

关键词: AI,AI奥数,AI数学,NemoSkills

AIMO2冠军「答卷」公布了！英伟达团队NemoSkills拔得头筹，开源了OpenMath-Nemotron系列AI模型，1.5B小模型击败14B-DeepSeek「推理大模型」！

关键词: AI,AI奥数,AI数学,NemoSkills,英伟达

AIMO2最终结果出炉了！英伟达团队NemoSkills拔得头筹，凭借14B小模型破解了34道奥数题，完胜DeepSeek R1。

关键词: AI,deepseek,AI奥数,TongGeometry,几何模型

国产AI几何模型性能达IMO金牌水平，打平谷歌DeepMind最新AlphaGeometry系列——

关键词: 谷歌AI,AI奥数,AI数学,人工智能,AlphaGeometry

谷歌DeepMind的AI，终于拿下IMO金牌了！六个月前遗憾摘银，如今一举得金，SKEST新算法立大功。这不，它首破解了2009 IMO最难几何题，辅助作图的神来之笔解法让谷歌研究员当场震惊。

关键词: AI,AI数学,AI奥数,AI访谈

阿里巴巴全球数学竞赛，已经举办了六年。 在今年三月，组委会宣布了一件振奋人心的事情—— “不论碳基和硅基”，今年首次开辟了 AI 赛道。

关键词: AI,AI奥数,o1-mini,o1-preview,MATH-500

OpenAI的o1系列一发布，传统数学评测基准都显得不够用了。

关键词: AI数学,AI奥数,GPT-4,Llama 3

只要1/200的参数，就能让大模型拥有和GPT-4一样的数学能力？ 来自复旦和上海AI实验室的研究团队，刚刚研发出了具有超强数学能力的模型。 它以Llama 3为基础，参数量只有8B，却在奥赛级别的题目上取得了比肩GPT-4的准确率。