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

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

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

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

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