0

CMU清华教LLM练成数学高手,LeanSTaR训练模型边思考边证明,登顶新SOTA

新智元报道 编辑:乔杨耳朵 LLM 数学水平不及小学生怎么办?CMU 清华团队提出了 Lean-STaR 训练框架,在语言模型进行推理的每一步中都植入 CoT,提升了模型的定理证明能力,成为 miniF2F 上的新 SOTA。 如果想训练 LLM 证明定理的能力,你会怎么做? 既然模型可以通过海量语

itwriter 发布于 2024-08-12 08:10 评论(0) 阅读(15)
0

ChatGPT「秘方」竟在拖LLM后腿?Karpathy、LeCun联手开怼RLHF!

新智元报道 编辑:乔杨好困 RLHF 到底是不是强化学习?最近,AI 大佬圈因为这个讨论炸锅了。和 LeCun 同为质疑派的 Karpathy 表示:比起那种让 AlphaGo 在围棋中击败人类的强化学习,RLHF 还差得远呢。 昨天,Andrej Karpathy 又发了长推,不过用了一句很有争议

itwriter 发布于 2024-08-12 08:00 评论(0) 阅读(38)
0

精准0误差,输入价格打骨折!OpenAI官宣API支持结构化输出,JSON准确率100%

新智元报道 编辑:编辑部 程序员福音!OpenAI 新推出的模型 API 全部支持结构化输出,JSON Schema 匹配率高达 100%,成本还立减一半。 还在绞尽脑汁想一堆提示词,为一顿操作后五花八门的输出结果而头疼? OpenAI 终于听到了群众的呼声,为广大开发者送上渴望已久的第一大功能。

itwriter 发布于 2024-08-12 01:23 评论(0) 阅读(102)
0

让AI管理大型代码库,开发者福音 | 阿里/新加坡国立/西安交大

CodexGraph 团队投稿 量子位公众号 QbitAI 代码生成和补全任务做不完了?! 不如试试让大语言模型(Large Language Models, LLMs)来帮忙。 不过,如果是处理大规模、多文件的代码库,LLMs 就可能犯了难。这时候,往往需要需要 Retrieval-Augment

itwriter 发布于 2024-08-12 01:15 评论(0) 阅读(58)
0

爆火毒舌AI每小时赚2.8万!每分钟36个新用户

梦晨西风发自凹非寺 量子位公众号 QbitAI 爆款 AI 应用开发者来晒收入了: 每小时赚 4000 美元!(约 2.8 万元) 说的就是病毒式传播的“毒舌 AI”Twitter Personality,只需输入一个推特用户名,就能得到 AI 根据历史发言做的犀利点评。 而且只要是公开账号就行,并

itwriter 发布于 2024-08-12 01:07 评论(0) 阅读(140)
0

最强数学大模型易主!阿里千问新模型成绩超GPT-4o

克雷西发自凹非寺 量子位公众号 QbitAI 最强数学大模型,现在易主! 阿里千问大模型团队发布的 Qwen2-Math,不仅超越了 Llama 3.1-405B,也战胜了 GPT-4o、Claude 3.5 等一系列闭源模型。 而且还会解决竞赛级试题,在 GPT-4 只能做对一道的 AIME 24

itwriter 发布于 2024-08-12 00:55 评论(0) 阅读(61)
0

做个摄像头,OpenAI领投4.3亿

克雷西发自凹非寺 量子位公众号 QbitAI 刚刚,OpenAI 领投了一家硬件初创公司,总计规模 6000 万美元(约 4.3 亿人民币)。 据 The Information 消息,前一轮领投的创始人基金(Founders Fund)等投资机构也会参与其中。 获得融资后,这家公司将改变产品路线,

itwriter 发布于 2024-08-12 00:49 评论(0) 阅读(89)
0

ChatGPT会不受控制克隆你的声音!OpenAI公开红队测试报告

衡宇发自凹非寺 量子位公众号 QbitAI GPT-4o 的怪癖暴露了,还是被官方公开的! 你和它语音电话,它会悄悄学你说话的声音,效果堪称“克隆”,生动逼真到一毛一样那种; 甚至语音过程中还可能看人下菜碟,毫无依据地猜你有某地口音,然后调整跟你对话的方式。 而且,如果在提示词上略施小计,GPT-4

itwriter 发布于 2024-08-12 00:42 评论(0) 阅读(20)
0

奥特曼晒“草莓”引热议,神秘新模型现身竞技场,网友第一波实测

白交发自凹非寺 量子位公众号 QbitAI OpenAI 神秘新模型,真的藏不住了! 先是有匿名聊天机器人现身 lmsys 竞技场,声称自己是 GPT-4 系列模型一部分,吊足了大家的胃口。 随后奥特曼又发了一个浮想联翩的推文,正是他花园里的草莓照片,并配文:i love summer in the

itwriter 发布于 2024-08-12 00:37 评论(0) 阅读(76)
0

最强国产多模态刚刚易主!腾讯混元把GPT-4/Claude-3.5都超了

梦晨衡宇发自凹非寺 量子位公众号 QbitAI 国产大模型,多模态能力都开始超越 GPT-4-Turbo 了?? 权威榜单,中文多模态大模型测评基准SuperCLUE-V,新鲜出炉: 特别是腾讯的 hunyuan-vision、上海 AI Lab 的 InternVL2-40B,分别成为国内闭源和开

itwriter 发布于 2024-08-12 00:31 评论(0) 阅读(63)
1

AI辅助糖尿病药物开发,效果提升3倍,中国团队研究登Nature子刊

明敏发自凹非寺 量子位公众号 QbitAI AI 辅助制药,找到传统方法难以发现的关键盐桥,激动剂活性直接提升2-3 倍! 一项来自中国团队的研究,登上 Nature 子刊 Scientific Report。 它研制出的双靶点激动剂可被应用于治疗二型糖尿病和肥胖症。 不仅活性更高,而且在血浆中的半

itwriter 发布于 2024-08-12 00:28 评论(0) 阅读(20)
0

曝Bengio新动向:世界模型+数学证明,确保AI系统正常运作

西风发自凹非寺 量子位公众号 QbitAI 深度学习三巨头之一 Yoshua Bengio 的下一步动向公开了,关于 AI 安全—— 加入了一个名为Safeguarded AI(受保护的人工智能)的项目,担任科学总监。 据介绍,Safeguarded AI 旨在: 通过结合科学的世界模型和数学证明,

itwriter 发布于 2024-08-12 00:22 评论(0) 阅读(15)
0

阿里推出AI数据科学家,全流程自动化,科研小白也能用

基于开源 Agent 框架,可自动解决复杂数据科学问题的 Agent 来了! 具体来说,Data Science Assistant(以下称 DS Assistant)是基于 Modelscope-Agent 框架开发的数据科学助手。 有了它,我们只需给需求,这个助手就能自己跑完探索性数据分析(ED

itwriter 发布于 2024-08-12 00:17 评论(0) 阅读(32)
1

苹果AI后台提示词曝光,工程师:别幻觉!别捏造事实!

金磊发自凹非寺 量子位公众号 QbitAI 苹果 AI(Apple Intelligence)还没有正式到来,后台的提示词却意外曝光了。 事情是这样的。 上周苹果不是刚发布了包含生成式 AI 的开发者测试版本嘛,然后就有位开发者在茫茫文件夹里发现了个不得了的东西—— MacOS 15.1 Beta

itwriter 发布于 2024-08-12 00:06 评论(0) 阅读(83)
0

陶哲轩赵宇飞学生联手攻下组合数学难题,23年来首次突破

克雷西鱼羊发自凹非寺 量子位公众号 QbitAI 陶哲轩和赵宇飞的学生联手,给数学界整了个新惊喜: 让组合数学领域最大难题之一——从无序中证明有序,取得了 23 年来的重大突破。 这个问题有多难? 用知名华裔数学家、MIT 副教授赵宇飞本人的话说,是“我不会建议任何学生去做这个课题”。 有意思的是,

itwriter 发布于 2024-08-12 00:00 评论(0) 阅读(73)
0

字节走了半年“弯路”

出品|虎嗅黄青春频道 作者|商业消费主笔黄青春 题图|电影《敦刻尔克》 字节跳动趟了半年,终于不再迷信“低价”了。 整个 7 月,媒体开始密集报道淘宝、拼多多、抖音等主流电商平台业务“转舵”,从接连押注“价格力”到挨个回归“追求 GMV(Gross Merchandise Volume,商品交易总额

itwriter 发布于 2024-08-11 23:40 评论(0) 阅读(140)
1

苹果的Car Keys功能似乎即将出现在未来的领克车型中

根据 MacRumors 在钱包应用后端发现的代码更改,苹果的 Car Keys 功能似乎即将出现在未来的领克车型中。 Car Keys 允许具有 NFC 功能的 iPhone 或 Apple Watch 通过钱包应用解锁车辆。数字版本的车钥匙存储在钱包中,只需将 Apple Watch 或 iPh

itwriter 发布于 2024-08-11 23:36 评论(0) 阅读(30)
7

高德地图就是厂哥厂妹们的脉脉

想要研究人类社会文明细节,一个最朴素、最快捷的渠道就是:网友评论。 一部番剧好不好看,够不够经典,翻豆瓣;想在杭州这美食荒漠里找绿洲,看大众点评;害怕找工作踩雷,想提前看看公司咋样,脉脉搜搜看。 没人想要踩坑里了再后悔,难吃的东西进胃了才悔恨,所以大家团结一处,评价万物:外卖、快递、影视、综艺、学校

itwriter 发布于 2024-08-11 23:32 评论(0) 阅读(806)
0

苹果手记应用即将迎来Apple Intelligence升级

来源:环球网 8 月 11 日消息,据外媒报道,美国商标和专利局(USPTO)最新公示的清单显示,苹果公司获得了新的专利,暗示其正在为“手记”应用引入 Apple Intelligence 升级。 外媒称,升级后的手记应用将能够更主动地记录用户的日常记忆,例如在用户完成日常锻炼或在同一地点拍摄多张照

itwriter 发布于 2024-08-11 23:27 评论(0) 阅读(26)
0

微软:“画图 3D”应用将于11月4日下架

来源:环球网 8 月 11 日消息,据外媒报道,微软近日宣布其 Windows 操作系统内置的“画图 3D”应用将于 11 月 4 日起停止接收版本更新,并将从 Microsoft Store 中下架。 “画图 3D”应用自 2016 年 10 月由微软发布以来,一直是微软在 3D 领域布局的重要一

itwriter 发布于 2024-08-11 23:25 评论(0) 阅读(77)
0

Meta Quest 3/Pro头显迎来重大更新,已支持无缝多任务功能

IT 之家 8 月 11 日消息,Meta 近期发布的 Quest 头显最新系统更新中引入了一项备受期待的功能:无缝多任务。目前,该功能已作为实验性设置提供,可在安装了公测版 v69 的 Quest 3 和 Quest Pro 上体验。 这项新功能允许用户在沉浸式 VR 应用中同时打开并操作一个 2

itwriter 发布于 2024-08-11 23:23 评论(0) 阅读(22)
0

滴滴包车服务在全国44城开启试运营,最快20分钟即可出发

来源:环球网 【环球网消费综合报道】随着暑期旅游季的到来,家庭出游、学生研学、好友结伴等多样化出行需求激增,包车市场迎来了年度高峰。为积极响应这一市场需求,滴滴出行宣布其包车服务已在全国 44 座城市陆续上线并开始试运营,为乘客提供多车型、即时预订的便捷出行解决方案。 滴滴包车服务着眼于满足用户在不

itwriter 发布于 2024-08-11 23:19 评论(0) 阅读(68)
0

“智驾独角兽”地平线赴港上市,估值超600亿

来源:环球网 近日,“智驾独角兽”地平线机器人技术研发有限公司(以下简称“地平线”)成功通过中国证监会 IPO 备案,标志着这家领先的乘用车高级辅助驾驶(ADAS)和高阶自动驾驶(AD)解决方案供应商正式获得了香港上市的通行证。 地平线成立于 2015 年,是一家专注于边缘人工智能芯片及解决方案的公

itwriter 发布于 2024-08-11 23:15 评论(0) 阅读(44)
0

11人走了9人,OpenAI创始团队“分崩离析”

OpenAI,作为人工智能的先驱者,最近似乎陷入了一些麻烦。公司接二连三的核心高层人事变动引发业界广泛关注。 尤其是在最近几个月,出现了新一轮的离职潮。目前 11 个人中,仅剩下 2 位留在公司。 总裁 Greg Brockman 是其中之一,他于上周表示将休假一年,称“这是 9 年前共同创建 Op

itwriter 发布于 2024-08-11 23:11 评论(0) 阅读(63)
0

专利算法加持,初创公司 ProRata 欲解决 AI 剽窃问题

IT 之家 8 月 11 日消息,生成式 AI 模型是批量剽窃机器吗?许多人可能会这么认为。这些 AI 公司通过重制他人内容的产品获得了数十亿美元的投资,而原创作者却一无所获。 科技企业家 Bill Gross 也这样认为,同时他声称自己有解决方案。他的新创公司 ProRata 宣称将推出一个结合聊

itwriter 发布于 2024-08-11 23:06 评论(0) 阅读(11)
0

谷歌搞了场“寓教于乐”的大会:只为给“AI开发者”来点灵感

又是一届谷歌开发者大会(2024 Google I/O Connect),从今年 6 月至 8 月历时两个月,这场“环球之旅”先后走过德国柏林、印度班加罗尔,最后压轴之站来到中国北京。 作为每年 Google I/O大会之后的衍生篇,“Connect 系列活动”如同“Connect (连接)”一词的

itwriter 发布于 2024-08-11 23:06 评论(0) 阅读(21)
0

45岁硅谷华人工程师海钓身亡!毕业于清华大学,“家庭突然陷入困难,家人难以负担丧葬费”

45 岁的硅谷工程师邱宗德(音译)8 月 3 日在美国加州一海岸附近划皮划艇钓鱼时,从皮划艇上摔到海里。有冲浪者发现了溺海的邱宗德并将他带上岸,随即报警。 据邱宗德的朋友高通(音译)说,邱宗德被送到医院紧急抢救,但最后仍不幸去世。加州圣马特奥县验尸官办公室确认,在事故中丧生的,确为该县居民邱宗德。

itwriter 发布于 2024-08-11 23:00 评论(3) 阅读(574)
0

丰田提交汽车认证违规整改报告,重构全公司业务运营体系

IT 之家 8 月 11 日消息,针对认证违规事件,丰田汽车于 8 月 9 日向国土交通省(MLIT)提交了一份关于防止再次发生问题的措施报告。 丰田称,根据国土交通省的建议,丰田认识到管理层在认证业务中的参与程度不够,认证业务的基础还有许多需要改进的地方,例如数据管理系统建立更清晰的规则和程序。

itwriter 发布于 2024-08-11 22:48 评论(0) 阅读(22)
0

还原董宇辉、俞敏洪 “分手” 内幕:信任丧失、关系微妙

已经丧失了信任的两方,终于可以不用再拧巴了。 文丨陈晶 编辑丨宋玮 “当不信任的扳机扣动后,很多事情的走向就不受任何一方的控制了。” 一位接近双方的人士如此评价与辉同行 CEO 董宇辉、东方甄选 CEO 俞敏洪二人的 “分手” 结局。 这种不信任感始于董宇辉在东方甄选做主播期间声名鹊起,在 “小作文

itwriter 发布于 2024-08-11 22:46 评论(0) 阅读(173)
0

董宇辉关注罗永浩微博,后者多次公开表达支持

三言科技 8 月 10 日消息,今日三言科技注意到董宇辉的微博动态显示,他最近关注了罗永浩微博。 除了罗永浩外,目前董宇辉关注列表中还有俞敏洪、西安外国语大学等。 近日,因“董宇辉与东方甄选分手”一事,罗永浩在直播间再次公开批评俞敏洪,同时表达了对董宇辉的支持。而去年东方甄选“小作文”事件发生时,罗

itwriter 发布于 2024-08-11 18:25 评论(0) 阅读(82)