大家好,我是阿秀。
上周日的时候小姨问我还会不会高中数学?她说她记得我有高中数学资格证,还在读高中的表妹数学比较差,有道题卡大半天了不会做,我一看,顿时眼冒金星,这我哪还会啊。。
我的教师资格证是在读研期间考的,当时考的是高中数学,可能是运气比较好就考过了,想着以后35岁不去送外卖跑滴滴还能有个其余去处。
小姑发给我的题是高一数学题,老实说肯定不算难,要是我高中的时候我肯定会,但现在嘛。。。一时半会还真想不起来。
不过我想起来前几天在公司带薪拉x的时候刷到一篇机器之心的报道,说国产Kimi推出了最新一代推理模型k0-math,在数学能力上已实现对标OpenAI o1-mini和o1-preview。
老实说,这一堆名词我也看不太懂,不过我大致能看明白的就是Kimi的推理能力有大幅增强,在数学方面表现得不错!
那就把这道题丢进去看一下,这次的入口是在Kimi官网左侧的眼镜logo里,悬浮框内容是Kimi数学版
。
我直接把小姑发给我的那道题丢了进去,Kimi先是分析了一下,由于根号里的表达式必须为负,所以很容易得出-3<=x<=1
然后kimi居然很人性化的把接下来的解题过程一步一步的列了出来,很像我们当初高中时在试卷上解题的格式:"首先,根据xxxx,得到xxxx;然后,根据xxxx,得到xxxx;最后,综上所述xxxx"。
这个思考和推导的过程有点惊到我了,因为答案这种东西到处都是,4042年了,大清都亡了一百多年了,网上资源多的数不过来,但很少有能给出这种递进式的思考过程的。
到这里我又想起来前段时间大模型集体大翻车的新闻了,关于9.11和9.9哪个大
几乎全翻车了,网称"大模型领域内的9.11事件",于是我把这个经典的问题丢了进去。
也许是上次吃过亏,明显看到Kimi这次谨慎了很多,这就是传说中的PTSD了?
Kimi 先是比较整数部分,然后再比较小数部分,在初步得出结论0.9比0.11大
之后还不太放心,打算继续使用第二种和第三种方式来比较:将之改写成分数和两位小数各比较一次。
最后经过一番深思熟虑后,得出结论:综上所述,经过多种方法的验证,我们可以确定:9.9>9.11
。
看到Kimi这么谨慎,我继续抛出了一个灵魂问题:1+1=?
一上来,它居然怀疑这个问题是不是一个陷阱???感觉好像被前人玩坏了,Kimi真有点PTSD了,笑死🤣。
不过它也很快给了回答:1加1应该是2。但还是有着其余担心,难道在某些情况下,1加1不等于2吗?
然后它又分别用了代数、几何、分数三种方式验证了一下1+1是不是等于2,结论是1+1确实等于2。
按理来说,到这里已经证明完整了,普通人能想到的证明方式已经都在这里了。
Kimi居然又想到模运算和逻辑推理这些证明方式,最后才算是彻底得出肯定的结论1+1=2。
有一说一,Kimi的数学推理能力很强,但貌似对我们普通人作用不大!对于我们普通人来说数学还是离得太远了一些,因为大多数人自从学校毕业后就很少用到高中数学了。
搜了一下k0-math后发现它还可以运用到金融、财经、生活等方面,刚好最近一直在锻炼身体减脂,我每周都会爬三次楼梯,来试试Kimi怎么样。
我让Kimi根据我每周运动三天的运动习惯,让它给我设计一个健康饮食,需要精确到每天,告诉我每天应该吃什么。
由于我没告诉它我的性别,于是Kimi分别计算了男女的基础代谢率(BMR)是多少
然后根据BMR计算出我的日常总消耗大概为2046.4/天
再然后,Kimi就开始根据我的卡路里摄入量来制定我的一周饮食计划了
为了确保营养均衡,还不忘告诉我每餐应包含蛋白质、碳水化合物和脂肪,上一个这么关心我每天吃什么的还是我老妈哈哈。
接着为了让我顺利减脂,它就开始给我设计每一餐的食物了,早餐、中餐、晚餐都给我安排上了!
可以看到根据卡路里的配比,Kimi一直在进行着食物的调配,不停地增减食物。
额,只能说这么吃确实挺健康的,就是吃的时候估计有点难以下咽。
后面我就没再继续尝试下去了,如果你告诉它你想吃的美味健康些,估计Kimi也能给你一些建议。
过去的大模型像是一个答案库,你问什么它搜什么。但现在,无论是GPT还是Kimi,都在尝试让AI学会真正的思考,它不只是会回答,而且会思考,已经从简单的what进化到what -> how -> why了。
学会了数学的AI可能不仅仅只是能够回答问题这么简单了,因为它会思考,这一点就从被动的执行工具人角色上升到有自己思维的合作者角色了,它会思考:这是什么?是如何出现的?为什么?在什么条件下成立?还有没有其他可能?还有没有类似的情况?
很多正常人类在生活中遇到的问题,可能在Kimi看来会有另一种不同角度的看法和思考。
我打算给它来个厉害的:清华大学的录取书和1000w,我应该怎么选?
Kimi认为教育是一个长期的投资,它能够为我带来持续的回报,而不仅仅是短期的经济收益,所以最后建议我选择接受清华大学的录取通知书。
Kimi会为你分析利弊,不仅仅从当下,而且会从未来的角度给你提供建议,这点确实要点赞👍🏻。
所以,对于一些有着选择困难症的人来说,不妨试试把自己的烦恼说给Kimi听,也许Kimi能给你一个意想不到的惊喜也说不定呢?
可以看到大模型确实越来越聪明了,你"喂"给它的物料越多,它懂得就越多,至于它最后会进化成的样子,可能没人能预料得到。