AI资讯新闻榜单内容搜索-数学模型

关键词: AI,Kimi,数学模型,k0-math,月之暗面,杨植麟

kimi全面开放一周年之际，创始人杨植麟亲自发布新模型—— 数学模型k0-math，对标OpenAI o1系列，主打深入思考。 在MATH、中考、高考、考研4个数学基准测试中，k0-math成绩超过o1-mini和o1-preview。

关键词: AI,DeepMind,AI数学,AI数学竞赛,谷歌AI

就在刚刚，谷歌DeepMind最新的数学模型捧得了IMO奥数银牌！它不仅以满分成绩做出了6道题中的4道，距离金牌只有1分之差，而且在第4题上只用了19秒，解题质量和速度惊呆了评分的人类评委。

关键词: Mistral AI,AI,Codestral Mamba 7B,AI数学

这几日，AI 圈又一“震惊”事件！！

关键词: Gemini,AI数学,数学大模型,Gemini 1.5 Pro

I/O大会上，谷歌Gemini 1.5 Pro一系列更新让开发者们再次沸腾。最新技术报告中，最引人注目的一点是，数学专业版1.5 Pro性能碾压GPT-4 Turbo、Claude 3 Opus，成为全球最强的数学模型。

关键词: GPT-4,7B开源模型,阿里通义

7B开源模型，数学能力超过了千亿规模的GPT-4！它的表现可谓是突破了开源模型的极限，连阿里通义的研究员也感叹缩放定律是不是失效了。

关键词: DeepMind,数学模型,GPT-4,AlphaGeometry

今天，谷歌DeepMind的AlphaGeometry模型登上了Nature！30道IMO几何题中，它能做出25道，已经接近人类金牌选手的水平！而GPT-4，却一道题都没做出来，直接挂了零蛋。