-
你想喝瓶啤酒,于是就把桌子叫了过来。这不是吃了菌子才有的场景,而是国外网友的一项发明,名叫Carpentopod。整个桌子有12条腿,里面内置了电机,是木工、电子和编程结合的产物。只要按下遥控器,桌子就会向你走来,像一个家用机器人一样。从图上可以看出,Carpentopod走起来非常平稳,这是它的腿部参数不断「进化」的结果。这个「进化」过程在软件的虚拟环境中进行,数千个虚拟腿部变体在该环境中竞争,只有得分高的腿部变体才能混合「基因」。如此精巧的结构制作起来自然是非常不易。作者表示,「早在2008年,我就写
-
近段时间,AI编程工具Cursor的风头可说是一时无两,其表现卓越、性能强大。近日,Cursor一位重要研究者参与的一篇相关论文发布了,其中提出了一种方法,可通过搜索自然语言的规划来提升Claude3.5Sonnet等LLM的代码生成能力。具体来说,他们提出的方法名为PlanSearch(规划搜索)。主导团队是ScaleAI,本文一作为ScaleAI研究者EvanWang。二作FedericoCassano现已加入如今炙手可热的AI编程工具公司Cursor。他曾参与创立了GammaTauAI项目,该项目的
-
提到“春节”,你首先会想到什么?热气腾腾的年夜饭,大门前福气满满的春联,摩肩接踵的车站,还是一眼看不到排队尽头的游玩景点?不知从什么时候起,各大主题乐园不再只是为孩子打造的童话世界,也俨然成为了成年人的理想国。无数的成年人换上霍格沃茨制服,挑选自己的魔杖,逃离“麻瓜世界”,前往环球影城;许多成年的迪士尼粉丝,也蜂拥至上海迪士尼乐园,在全球首个“疯狂动物城主题园区”亦或是香港迪士尼乐园的全球首个“冰雪奇缘主题园区&rdquo
-
小模型崛起了。上个月,Meta发布了Llama3.1系列模型,其中包括Meta迄今为止最大的405B模型,以及两个较小的模型,参数量分别为700亿和80亿。Llama3.1被认为是引领了开源新时代。然而,新一代的模型虽然性能强大,但部署时仍需要大量计算资源。因此,业界出现了另一种趋势,即开发小型语言模型(SLM),这种模型在许多语言任务中表现足够出色,部署起来也非常便宜。最近,英伟达研究表明,结构化权重剪枝与知识蒸馏相结合,可以从初始较大的模型中逐步获得较小的语言模型。图灵奖得主、Meta首席AI科学家Y
-
GPT-5不出,Grok已经赶上了。就在谷歌与OpenAI互相抢新闻的同一天,马斯克旗下的xAI也没有闲着。北京时间周三下午,xAI正式发布了新一代Grok2大模型。第三方大模型基准组织ChatbotArena也立即更新了LMSYS榜的成绩列表。Grok2的早期型号(sus-column-r)紧随GPT-4o(0513版)之后可以位列第四,表现优于Claude3.5Sonnet和GPT-4-Turbo。它在编码、复杂问题和数学方面表现出色。马斯克不免自夸起来,「Grok的推进速度像坐了火箭。」注意,这只是