发布日期：2025-01-18 01:28 点击次数：126
白小交 发自 凹非寺量子位 | 公众号 QbitAI狠狠干性图片
刚拿下客岁年度标王的科大讯飞，这样快就迎来了新年第一弹——
讯飞星火深度推理模子X1。
这款模子不仅在汉文全学段数学能力上发达超卓，更在奥赛能力上特出一众知名模子，稳居国内第一宝座。
从官方给出的效果中看到，X1可谓上能打奥赛、考高考，下能教导小学生作念寒假功课。（Doge）
更令东说念主惊喜的是，它的每一步推理经过都明晰可见，附带着详备的想考经过，确凿作念到“知其然，更知其是以然”。
值得一提的是，X1不仅是现时业内首个王人备基于国产算力的推理模子，更是独逐一个在更少算力要求下达到业内一流效果的模子。这一效果背后，体现的是国产团队在算力优化、西宾框架遐想等中枢期间范围的深厚辘集与翻新能力。
推理能力算作猜想算力遵守的要津主义，对硬件架构、算法优化及系统协同建议了极高的要求。
因此，X1的发布，不仅是一次期间糟塌，照旧国产算力集群能力的一次蹙迫考据，美艳着国产化期间体系在高遵守筹办范围的竞争力迈上了新台阶。
面前web端和星火App都依然上线，搜索“深度推理模子X1”智能体即可使用。
征引智能超参数把柄公开招标信息统计，昔日一年中，科大讯飞以91个中标格式、深入中标金额84780.8万元拿下通用大模子厂商中标名次榜第别称，得到市集客户的招供。如今又有新大模子加持，也将鞭策更多行业应用落地。
实测讯飞星火X1
这次发布的讯飞星火X1，并非单独的推理模子，也不同于通例的通用助手居品形态。
而是以其私有的“三个第一”，打出了各别化上风。
第一个寰宇产算力平台上的深度推理模子，代表着国产算力在高效推理上的紧要糟塌；在多项践诺中能力主义第一，覆盖小初高、大学、AIME、MATH500等，展现了其超卓的数学推理能力；第一个率先将深度推理类模子应用确凿场景中，确凿已毕了从期间到落地的升迁。
国产算力平台的亮眼发达并非无意。两年前，讯飞与华为纠合发布了“飞星一号”。后者初次亮相便以常态化扶助万亿参数大模子西宾的能力，那时激励业内不少温情。尔后，平台接续适配新模子与新算法，智算集群也已毕了屡次跃迁。
如今，它已能扶助大模子的深度推理能力，美艳着国产算力平台在复杂筹办、高效数据处理、高可靠性和可扩张性上已毕了全面升维。
其次，讯飞星火X1不仅在范例化测试中发达优异，更在本体应用中展现了其浩大的数学推理能力。
在官宣模子之前，X1模子就依然应用在了确凿培植教诲场景当中。客岁1024，讯飞纠合中国培植科学照看院发布了基于问题链的高中数学智能教师助手。
同期面向寰宇百个试点区域、千名教研员和憨厚打造上万个优秀案例。而星火X1依然部署在上述试点区域，并得益了第一波真实凿响应。
一位来自合肥七中的高中数学憨厚暗示，嗅觉X1推理经过和逻辑想路愈加明晰和严谨了。
他尤其提到了「详备呈现解答经过」这一特色，比如一些中上难度的题目，大概匡助他们快速理清素养想路。
何况诳骗这个能力，后续可以径直磋议作念成PPT或者动画演示，一样学生联结每个方法。
可以说，X1不仅拿不断了期间，更拿不断了培植一线的本体需求。
既然说到这里，我们就来一波实测，来本体考据一下X1的这个推理能力。
先来一起来自上世纪经典的奥赛施展题。
要是p和p＋2都是大于3的素数狠狠干性图片，那么6是p＋1的因数
看到这题一般第一主见，即是充数，猜到一个是一个，比如最小的5就顺应要求。（Doge）
来望望是星火X1是奈何解的。
△图注：解题中
在想考了49秒之后，它禁受了摒除法，服气判定这个论断是正确的。
率先服气p的面孔：p一定是不可被3整除的奇数；
那么磋议两种情况，p=6k+1和p=6k+5，那么第一种也不可能，第二种领路也能被6整除。
摒除了通盘可能之后，由此判定这一施展题是对的。
看来这说念施展如实对它是有点通俗了。
那么我们来看一下求解题，比如这说念：
求通盘的素数p，使4p2＋1和6p2＋1亦然素数。
乍一看，又是倍数又是通俗的，嗅觉很复杂。那就交给它来想考一下。
X1想考了148秒后，答出了正确谜底为5。(o゜▽゜)o☆[BINGO!]
好，修起对了没关联，要津还得望望它的解题方法对不合。
率先看到的是，它从最小的素数2驱动，诀别照看了2、3、5的可能性，限制只好5顺应要求。
谛视看，这里4不是素数，它径直就肃清掉了，这个点其实很容易被忽略掉。
随后它照看了p＞5的可能性，从率先摒除它是偶数，然后和谐成6k+r的通用面孔，摒除3的情况下探讨6k+1和6k+5的可能，限制发现这两个可能无法径直得出论断。
然而它立马纠错，改造一想！可以用近似的方法检查其他数。
何况还有更通俗的方法，那即是大的p老是能被小的素数所整除，那么也就不是素数了。
先例如论证，再扩张更大范围的情况，限制发现行欠亨，再次转化想路，然后发现了更为通俗的方法，摒除了更大p的可能性。
这一波登峰造极，有理有据，至少好久没碰数学的我是看懂了。
看已矣求解和施展题，那我们试试难少许的，径直拿高考数学来望望。
这是一起来自客岁新课标②卷的几何题，谛视看这次仅仅扔一张图给它哦，何况内部不啻一起题。
率先看第一个小题：求角A。
它率先将已知方程按照三角函数和角公式改写了一遍，然后诳骗正弦函数的周期性质以及A的范围，判断出A等于π/6。
修起正确。想路经过也王人备正确。
再看第二个小题，求三角形的周长。可以看到它反复用到了三角函数的有关定理，将题干中的等式化繁为简、逐步拆解，最终整合得出谜底。
天天好逼临了谜底亦然正确的。
可以看到的是，不管是三角函数的应用照旧几何定理的推导，X1都展现了其浩大的数学推理能力与学问推理能力。
这种能力不仅使其大概应回报杂场景，还能濒临东说念主类想维，甚而弥补东说念主类在想考取的粗疏。
讯飞星火X1的推出，不仅美艳着国产算力平台在推理能力上的紧要糟塌，更为培植场景提供了全新的智能化处理有商量。
其明晰易懂的解答、浩大的学问推理能力以及动态学习与纠错能力，使其在数学践诺、赛事中屡获佳绩，并提前俘获了憨厚的心。
挑战小初数学题
下一步，X1将进一步深入培植场景，径直拿握学生与家长的需求了。
大概预猜度的是，它会让科大讯飞AI学习机的学习教导能力更强。比如把柄孩子的学习给与能力给出解题逻辑，要是给与能力比拟薄弱，解题方法就会更为缜密，匡助他们系统性地联结问题，逐步培养逻辑想维能力。
一直以来，科大讯飞AI学习机，其实备受学生家长们的招供。
第三方数据浮现，2021年至2023年间，连气儿三年蝉联寰宇高端学习机销售额第一，何况用户净推选值NPS接续保持行业第一，可以说广受用户和市集好评。
那么面前不妨提前感受一下，到时分使用起来会是什么样的体验。
来看这说念初中数学题，考的是王人备通俗公式。
已知9x2 -6xy+k是王人备通俗式，则k的值是。
像「我们需要签订到」、「让我们从XX驱动」、「可以将XX这两个进行比拟」，它的口吻都是那种循循善诱，很有耐性的嗅觉~
不仅每个方法明晰，即是公式张开，像（3x-y）2的演算经过也逐一呈现，最终得到了正确谜底。
即便像这种通俗的几何题，亦然解题逻辑都挨个解开：
方法1：服气抛物线的启齿标的；
方法2：找到抛物线的过头；
方法3：服气与y轴的交点
方法4：分析选项
讯飞星火X1像是一个更为耐性和专科的“AI憨厚”， 侍从它的想路经过，孩子也能想考一遍。
可以可以，面前寒假也到了。
X1部署应该也紧赶慢赶地在日程上了，这样家长教导起来也就草率多了。
没猜度，o1类模子第一波大范围应用，可能是先由孩子们用上。（Doge）