40年图灵机难题被业余玩家攻破,陶哲轩:软件辅助证明改变数学研究规则

2024-09-06
阅读 7 分钟
8
关注前沿科技 量子位40多年的计算机难题——忙碌海狸难题,被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息,并欣慰表示:这再一次体现了证明助手对于数学研究的协作是多么有用。计算机科学家Scott Aaronson为此还写了一篇博文,并大肆赞赏:这个发现是自1983年以来,忙碌海狸函数研究中最重要的进展。具体而言,人...

开源大模型新王干翻GPT-4o,新技术可纠正自己幻觉,数学99.2分刷爆测试集

2024-09-06
阅读 4 分钟
9
关注前沿科技 量子位开源大模型王座突然易主,居然来自一家小创业团队,瞬间引爆业界。新模型名为Reflection 70B,使用一种全新训练技术,让AI学会在推理过程中纠正自己的错误和幻觉。比如最近流行的数r测试中,一开始它犯了和大多数模型一样的错误,但主动在<反思>标签中纠正了自己。在官方评测中,70B模型全面超...

AI太火,量子位今年更缺人了 (含实习)

2024-09-06
阅读 3 分钟
6
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...

AI落地新战场,云厂商开卷MaaS:大模型即服务,华为给所有人发船票了

2024-09-05
阅读 4 分钟
11
比如被Karpathy等AI大佬盛赞的AI编程神器Cursor,全团队只有12人。他们的核心诀窍就是支持模型多(如GPT-4/GPT-4o/Claude 3.5 Sonnet)、产品设计巧妙,8岁小女孩都能轻松上手。

三星高管剧透GPT-5高达5万亿参数,OpenAI匿名模型上线

2024-09-05
阅读 3 分钟
8
关注前沿科技 量子位GPT-5有3-5万亿参数,由7000块B100炼成?!一夜间,下面这张图在网上疯转:仔细看,这是三星高管Jung Bae Lee(李禎培)在一场高级管理层峰会(CEO Summit)上演讲。上面明晃晃写着GPT-5 3-5T、B100 7000、HBM3E 8TB/s。网友发现,不只是三星高管有“剧透”,OpenAI日本办事处负责人Tadao Nagasaki最新...

叶军院士团队登Nature封面:新型“核钟”可为原子核内基本力提供新见解

2024-09-05
阅读 3 分钟
12
关注前沿科技 量子位中国科学院外籍院士、物理学家叶军团队,原子钟项目再次登Nature封面!这次从投稿到接收仅用了27天。具体来说,团队开发了一种基于原子核中能量微小变化的时钟,能做到比目前世界上最好的计时器(光钟)更精确,并且对干扰的敏感度更低。被Nature评价为“可能改变基础物理学研究”,可以提供对原子核中...

阿里大模型被Github一度404,负责人紧急回应:没跑路,平台故障误伤

2024-09-05
阅读 3 分钟
7
关注前沿科技 量子位一觉醒来,阿里Qwen的GitHub网页404了?!今天早上不少开发者发现,GitHub所有代码全部消失。‍‍‍‍‍这非常奇怪,再想到前几天runway突然删库,所以阿里Qwen一系列开源模型,不会也用不了了吧??!对此,阿里通义开源负责人林俊旸也在社交网络上回应:我们还活着,正在找官方解决问题中。不过截至发稿...

AI太火,量子位今年更缺人了 (含实习)

2024-09-05
阅读 3 分钟
9
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...

谷歌揭秘大模型不会数r原因:嵌入维度是关键,不止分词器问题

2024-09-04
阅读 3 分钟
12
关注前沿科技 量子位大模型做奥赛题游刃有余,简单的数数却屡屡翻车的原因找到了。谷歌的一项新研究,发现大模型不会数数的原因,并不是简单的tokenizer所致,而是没有足够的空间来存储用于计数的向量。数出一段话中某个单词出现的次数,这样简单的任务可以难倒许多大模型,GPT-4o、Claude 3.5也无法幸免。如果再进一步...

AI太火,量子位今年更缺人了 (含实习)

2024-09-04
阅读 3 分钟
9
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...

科技大会顶流们,上海都要包圆了啊

2024-09-04
阅读 4 分钟
9
原创 关注前沿科技 量子位朋友们,AI火热、科技火热……城市与城市之间明争暗竞也很火热。比如上海。以前提上海,首先大概率会想到金融标签,然而现在,科技、AI的标签越来越响当当。WAIC侬知道伐?中国一年一度最具影响力的AI大会。Inclusion外滩大会侬知道伐?具有全球影响力的金融科技和前沿科技盛会,除了最in科技,还...

第一批“AI原住民”小学生,正在用大模型搞开发

2024-09-04
阅读 5 分钟
7
关注前沿科技 量子位当成年人还在焦虑AI什么时候抢走自己饭碗时,第一批AI原住民的“小孩哥”已经步入NEXT LEVEL。做个小程序解决自己在现实世界的困惑与难题,甚至用上了AI辅助开发。好奇1米等于多少厘米?有小孩哥因此做出单位换算的小程序;古代的七尺男儿放到现代是多高?小孩哥又因此做出不同朝代的度量单位换算小程...

微软Win11中发现国产开源大模型!RWKV官方:没人给我钱啊?现在捐赠还来得及

2024-09-04
阅读 3 分钟
8
量子位微软正尝试在Office中集成国产开源大模型RWKV!RWKV官方甚至直接发了个推文表示:RWKV.cpp,现已在全球五亿系统中部署。之所以这么说,是因为他们发现最新版Windows 11系统的Office文件夹中有以rwkv命名的DLL文件,包含GPU、CPU版本。对这些二进制文件进行反编译检查,结果发现就是GitHub的RWKV.cpp项目的一种变体...

AI证件照神器登GitHub热榜,内置考研考公签证模版一键生成

2024-09-04
阅读 3 分钟
11
关注前沿科技 量子位最近,这个AI证件照神器狠狠火了~本·漫不经心上传了一张哈利波特的照片,结果啪的一下,一张蓝底证件照就生成了!更关键的是,这个神器目前免费开源,人人都能立即上手使用。神器名叫HivisionIDPhotos,最近几天一直挂在GitHub热榜上,目前已狂揽3.2K星标。除了能换背景,它还支持轻量级抠图、选择不...

MiniMax不藏了,大秀视频/语音/文本全模态模型家族,“每天与世界交互30亿次”

2024-09-03
阅读 6 分钟
42
原创 关注前沿科技 量子位终于,MiniMax不藏了。首次正式公开亮相,最强大模型、最亮眼产品战绩,全部对外展示。模型全家桶最新版齐上阵,从文本、语音到视频覆盖全模态——达成如此丰富模态且同步开放,属实是国产创业公司中首位。尤其是视频模型如期发布,兑现了7月WAIC上创始人兼CEO闫俊杰放出的承诺。旗下产品最新战绩...

AIGC的风口上,中国企业如何提升出海胜算?|出海大咖说

2024-09-03
阅读 1 分钟
5
而《出海大咖说》是一栏为出海人打造的圆桌对话节目。每一期的内容,我们将围绕出海行业当下的热点主题,汇聚大咖思想,持续分享出海经验,提供在出海不同生态位上的观察与思考。

《黑神话》动捕供应商展示新算法:华科校友创办,华为云合作,亮相数博会

2024-09-03
阅读 3 分钟
18
关注前沿科技 量子位《黑神话·悟空》背后的技术供应商,亮相数博会华为云展区!还带来了最新的动作捕捉黑科技,无需佩戴任何装备,只用摄像头就能给人的动作建模。下面就跟随量子位的脚步一起看看这届数博会上都展出了什么样的新技术~AI黑科技亮相数博会用AI在空间中捕捉动作动作捕捉,在电影、动画、游戏等内容的制作当...

上交大推出“可进化游戏引擎”!大模型加持代码自动成长,虚拟世界演化无需预设

2024-09-03
阅读 4 分钟
7
关注前沿科技 量子位试问谁小时候没有幻想过有一只专属于自己的宝可梦?(可以DIY的那种~)最近来自上海交通大学的团队整了个“可进化游戏引擎”,实现了这个儿时梦想:大模型与传统游戏引擎结合,能够被被特定的条件触发,自动地成长出新的代码。选择宝可梦题材做实验,是因为团队中大部分成员都是宝可梦粉丝,目前相关论...

AI太火,量子位今年更缺人了 (含实习)

2024-09-03
阅读 3 分钟
9
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...

大模型应用新战场:揭秘终端侧AI竞争关键|智在终端

2024-09-02
阅读 4 分钟
6
于是乎,回顾这大半年,从互联网大厂到手机厂商,各路人马都在探索AI时代Killer APP的道路上狂奔。这股风潮,也开始在顶级学术会议中显露踪迹。

陶哲轩力荐,哈佛反向学习法火了:教会AI就是教会自己

2024-09-02
阅读 3 分钟
9
关注前沿科技 量子位数学大佬陶哲轩力荐,哈佛反向学习法火了:教会AI就是教会自己。他最新分享了哈佛应用数学和应用物理学教授Michael P. Brenner的一个教学方法——利用提示工程,让学生尝试教AI完成平时数学作业(不纳入正式考核),期末再让这些AI参加考试。好嘛,相当于学生再把AI当学生,俄罗斯套娃有。Michael P. B...

又有AI创始人卖身大厂!带走25%员工留下空壳,为吴恩达第一位博士生

2024-09-02
阅读 3 分钟
10
关注前沿科技 量子位又有AI初创公司创始人卖身大厂——亚马逊刚刚官宣,从机器人AI系统初创公司Covariant挖走了三名联创。三人分别是Pieter Abbeel、Peter Chen(陈曦)和Rocky Duan(段岩),创业之前都是OpenAI的研究员。其中,Pieter Abbeel是强化学习届的大牛、吴恩达教授带的第一位博士生。一同被打包带走的还有1/4的...

AI太火,量子位今年更缺人了 (含实习)

2024-09-02
阅读 3 分钟
9
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...

阿里通义上新PPT创作!PC端“效率”功能三合一,听读写一站搞定

2024-09-01
阅读 6 分钟
12
原创 关注前沿科技 量子位这年头,哪有人上班不发疯的(doge)。就拿PPT来说,赵晓卉“PPTSD”这词儿一出,那真是戳到了打工人心坎上。对啊,PPT是什么高贵的东西啊!都大模型时代了,就没有哪个AI能又好又快地帮我搞定这事儿吗!还真别说,打工人是会心疼打工人的。就在俺们量子位编辑们孜孜不倦寻找解放双手的大模型工具...

用数学方法证明量子纠缠会突然消失!MIT计算机科学家“无心插柳”提供关键论证

2024-09-01
阅读 2 分钟
12
关注前沿科技 量子位从没学过量子算法,首次相关工作就证明量子物理难题!MIT计算机科学家,利用数学方法发现,当温度到达一定值后,热量导致量子纠缠完全消失。量子纠缠消失,意味着任何基于这种纠缠的量子计算或量子通信协议都将失效,系统从量子行为转变为经典行为。比如量子计算机正是利用量子纠缠实现并行计算,大...

AI太火,量子位今年更缺人了 (含实习)

2024-09-01
阅读 3 分钟
6
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...

执教10年46枚美国IMO金牌!对话前总教练罗博深:不看好AI教育,不建议AI辅助学数学

2024-08-31
阅读 5 分钟
13
原创 关注前沿科技 量子位在中国奥数队历史性五连冠被美国队终结后,一个名字被反复谈起。罗博深(Po-shen Loh)。他是前美国奥数功勋教练,执教十年间四次带队获得团队冠军,队员们累计获得 46 枚 IMO金牌。此前他被媒体评价为带领美国奥数队伍重回巅峰,迎现在「黄金时期」。尽管去年已从领队职位卸任,今年美国队的夺...

GPT-4o mini排名雪崩,大模型竞技场规则更新,奥特曼刷分小技巧无效了

2024-08-31
阅读 3 分钟
8
量子位大模型竞技场规则更新,GPT-4o mini排名立刻雪崩,跌出前10。新榜单对AI回答的长度和风格等特征做了降权处理,确保分数反映模型真正解决问题的能力。想用漂亮的格式、增加小标题数量等技巧讨好用户、刷榜,现在统统没用了。在新规则下,奥特曼的GPT-4o mini、马斯克的Grok-2系列排名显著下降,谷歌Gemini-1.5-flas...

OpenCity大模型预测交通路况,零样本下表现出色,来自港大百度

2024-08-31
阅读 7 分钟
13
关注前沿科技 量子位长时间交通状况预测,可以用大模型实现了。香港大学联合华南理工大学和百度,推出了长时间城市交通预测模型——OpenCity。而且泛化能力极强,可有效应用于广泛的交通预测场景。为了解决传统交通预测模型泛化性及长期预测能力不足的问题,研究团队新的基础模型OpenCity。OpenCity结合了Transformer架构...

AI太火,量子位今年更缺人了 (含实习)

2024-08-31
阅读 3 分钟
8
关注前沿科技 量子位AI太火了!眼睛一睁一闭,一大堆新鲜出炉的前沿科技进展已经塞满未读列表。于是,今年的量子位,比以往更加缺人。这不到金三银四了,是时候拿出喇叭大喊一声:量子位招!人!啦!量子位编辑智能车编辑汽车视频工作室主理人量子位短视频主编量子位视频后期量子位商务经理智库分析师知乎微博新媒体运营...