大家晚上好,我们开始新一天的直播。刚刚在说什么?抢位置、抢位置唉!又说是说又有千禧年难题要被突破了。话说现在OpenAI怎么这么强啊?之前还没感觉到,现在是遥遥领先了,下一代模型远超Astra。是不是奇点要到了呢?其实不是啊,这个待会咱们再讲OpenAI到底干了哪些事、哪些事不是它干的。
OpenAI现在已经禁止新的200刀Pro会员了,卖到脱销了。话说这种200刀的会员OpenAI是赚还是亏呢?是真的算力不够,还是饥饿营销呢?呃这个真不好说啊。因为就是他现在我不知道OpenAI自己能不能把账算清楚啊,但是呃肯定这套系统是呃比较难算的啊,非常非常难算。
因为他是呃跟人签了很多很多的这种算力协议。这种算力协议签完了以后让他空着肯定是最不划算的,但是彻底占满到底占到多少程度算是划算不划算这个事其实是比较难以去评估的。因为OpenAI总要留出一部分算力去做新的这个训练对吧?不是说我所有的算力通通都可以拿去给大家做推理的。
现在网上的乐趣之一是听老范讲故事好吧,其他事情提不起兴趣了哎呀!这个我觉得我尽量把故事讲好吧。用穷举法找反例破了两个,是的!这个说的其实是非常准确的啊:就是现在AI能干这个事就是暴力破解。它干不了说真正找方向这条事情,这个事情它还搞不定。先点赞先啊!对你们都点赞了没有?要这个呃做之前要点赞啊。
在开始之前呢,再先闲扯几句啊!第一个是这周应该再去录这个会员节目了,但是具体录什么我还没想好让我思考一下。我的会员节目是两周一出啊,这个其实会员节目要比这个正常节目要难做。因为需要思考哪些能说、哪些不能说啊,这个还是还是比较危险的呃!而且需要准备更多东西。
然后第二个呢就是呃最近反正9月份秋高气爽对吧,老想着出去玩但是老也没出去。到底周末更新什么不更新什么我也还在思考吧!大概就是这样的一个情况,来了啊欢迎欢迎台主来了。我我来了啊!
关了插件听直播啊,今天听散人节目。散人认为大家听他节目他就很开心,于是我释然了点赞!是的这个呃散人其实他那个节目我其实也听了啊,他讲的有些东西是不对的。他讲到说买了会员他就没有收入啊这个是不对的!买了会员那个YouTube会给我们分收入的,所以你去买会员啊甭管买我的会员还是买YouTube的会员我都是有收入的啊,这个这个是没问题的。
至于广告呢就是你不喜欢就把它跳过去,这个没问题啊!这个呃很好但是你不要挂这个反广告插件就行了。呃为什么呢?就是你跳过了对于YouTube来说要比你把这个广告看完了还有价值!为什么呢因为它收集了你的数据,它知道你不喜欢什么了下次可以推得更准确、推到你喜欢的东西。
那很多人就在这抬杠说不对啊!你看我跳过了跳过了,跳过了跳过了10条它也没推出我喜欢的东西来啊!但是要注意啊就这种广告的转化率是千分之几,你肯定没有点过说1,000次跳过吧?对吧你说唉我看了这么长时间从来都没有买过任何东西,没有在YouTube上做过任何成交没关系啊对吧?
它也会慢慢的让它推得越来越准然后其他人啊会去买东西的,所以最后它是一个统计结果。所以你点跳过这个没问题啊!这个千万不要使用这个反广告插件点赞啊欢迎欢迎,我今天自己那边不直播去车管所去延长我的汽车注册。不汽车注册为什么要延长呢?这个我没听懂这美国为什么会有这样奇怪的一个东西!
来了来了啊先点赞,正在做饭边做边听好的。呃我看了已经有7个赞了啊48个人同时在线啊52个人同时在线有7个赞了啊!欢迎大家呃范老师想没想做一个Know Your Customer这个这样就更了解付费用户,这样就能说话也能说的有的放矢?
这个可以啊但是具体怎么做呢可以给一些建议啊!反广告插件也是听老范节目才知道有这东东的。呃好吧这个看来很多这种东西不能随便去推广啊!老范你好,你上次说可以去苹果官网买礼品卡充值订阅GPT但是我去官网买礼品卡的时候要求美区账号和美区的卡来支付是不是我哪里操作的不对?
啊这可以给大家讲一下呃首先去这个支付的时候呢是不需要美区卡的啊而且支付的时候是呃不需要登录的。就是你不要登录!就是你到苹果官网不要登录然后直接说我要去买礼品卡匿名买啊不要去这个呃叫做呃登录到美区账号也不要登录国区账号然后用卡。我现在都是用银联卡别说美区卡了我都是用银联我连Visa卡、Master卡我都不用啊,都能直接充值。
充完了以后他给你寄回来往里充呢你肯定是要找一个外区的账号往里充啊!你不能说我找个国区账号往里充这事是不行的。所以大家注意啊第一充值的时候不要登录啊美区的账号也不要登国区账号也不要登啊都不要登录。然后第二付款的时候啊反正我已经测试了Visa、Master和这个银联卡都可以付成。
付成功然后也都得到了这个呃这个充值的这个码!第三往里充的时候你在手机上要去登录一个美区账号或者是外区账号啊记住这几个就可以了。折叠屏评价一下?我毫无感觉!呃苹果折叠屏其实我到现在没见过啊我去小米看了一下小米的折叠屏然后人家问我说你要不要买一个呢?
然后我跟他说我现在已经老花眼了对吧!对于我来说手机更主要的用途是一个收音机啊我天天其实是在听手机然后人就乐了。所以对于我们这些上了一定一定岁数有老花眼然后看手机需要摘眼镜的人来说这个屏幕到底有多大有多小关系其实没有那么大对吧?
所以你说为什么一定要有个折叠屏呢?呃折叠屏其实我我我是这么想的啊就是如果它不打开就是那个小个的啊因为我看了小米那个它们尺寸应该差不多的呃!不不不展开那个位置其实是正好啊为什么呢?因为反正我也不看对吧就是听一听然后这个呃做一些这种基本使用就够了。展开那部分啊对于我来说完全没有意义!
我真的需要一个大的屏幕我有电脑前头的带鱼屏啊我有这个iPad Pro啊我啊不是iPad Pro我现在是iPad Air了但是我的iPad是13寸的对吧?还有投影仪对我有一堆这样的设备所以我完全不需要一个举在手上的啊这种呃可以展开的一个设备啊这个对于我来说没意义!
我更喜欢那种就是小一点屏幕的手机啊揣着舒服、揣着方便然后可以在里面去这个做一些简单操作就够了!折叠屏典型的营销概念是要求需求真的很小。呃我觉得以小米华为这样的这种折叠屏吧它大概一年能够卖掉几十万个也就到头了,苹果呢可能多一些但是我估计也就是百万啊这样的一个层级看它的价格它不可能卖太多的。
而且折叠屏就是你使一段时间以后那个折痕还是挺明显的,维修啊什么这些东西都很麻烦!你也老花眼了我觉得是更再大的屏幕也没用了不如20块钱买个眼镜。唉我前两天去银行要填单子我说我看不见了人说我给你拿个眼镜来,我说别别我不要老花镜!
我说我把眼镜摘了就行就我现在这个是近视镜嘛渐变近视镜,我说我把这摘了我就能看见!我说你再给我拿个老花镜来然后告人问我要多少号的啊这个老花镜是分号我我说这个太侮辱了!这实在不行小米的控制中心甚至没适配折叠屏今天去看了一下控制中心只显示一半的屏幕。
唉这个对于我来说都没有什么意义我只需要一个小屏幕啊!我前两天看的一个特别好玩的手机正方形的啊这个好像是OPPO还是谁出的我忘了反正3,000多块钱但是真的没什么必要!包括像现在你让我去买这个iPhone 18我也没什么想法就这么混吧,等真的说这个能够让人一眼看出来你这个不是iPhone 18的时候再换。
小米那个塑料感好大啊不值得这个价格!哎呀这个价格没有值不值的事,这个里边你说它这个呃玄界O3肯定是亏钱亏死了对吧?剩下的这一大堆机械结构,这个软屏幕这个东西也都是很贵的!然后呢它这个里头还有什么东西还有这个内存对吧那都贵死了那个是LPDDR6的内存在里头搁着。
所以没有什么值不值的事就是小米那个折叠屏是卖一台亏一台!我当年做了近视手术只好了五年现在老花了啊是不是做了近视手术就会花的比较早啊?你比我年轻好多呀!我是呃45-50可能四十六七岁的时候开始老花的,在那个之前是没有的。
好我们开始今天的节目啊!咱们要来讲讲OpenAI解题了,大家好欢迎收听老范讲故事的YouTube频道。OpenAI暴力破解了一道百万美金的数学题,这几天正在被指责抄袭771个数学家联名骂它学术不端。但是真正被磨掉的其实是数学家的那点热情:题解开了,热情没了!
我们先把这个结论撂这:这道题OpenAI确实往前推了一大步,这个是真的谁也赖不掉。抄没抄这两边各执一词可这一层没有大家想的那么重要!他们争的早就已经不是谁原创谁抄袭谁了,而是谁的公司更值钱。真正在真正的账是在另外一头而且是这么一笔账啊!
这道破题的路是人一步一步蹚出来的,AI是在人蹚出来的路上拿一万个AI agent把最后一道坎生砸开的!把人那一段抽掉今天这个证明压根就不存在。所以真正该护着的东西不是算力,算力现在谁花钱谁就能买到!是人的思考而人的思考在这一行里头是要靠一点热情推着往前走的。
可是这一趟走下来想出新东西的人第一反应变成了先别说说了人家88小时就直接给你破了!热情要是被磨没了机器跑得再快也只能在老路上来回跑。咱们今天回答三个问题:第一个问题OpenAI到底解了一道什么题又是怎么解的?这块呢我会分两段来讲先讲题再讲解的过程。
第二个抄袭这个指控到底是怎么回事啊?咱们把两边的时间线一天一天捋一下谁先谁后啊咱们自己来判断。后面咱们再说两通电话里头啊开始有骂人的话到底谁骂了什么啊?咱们去解稍微解析一下。第三也是我今天最想讲的真正担、真正该担心的到底是什么?
这个底下有三笔账:第一个AI那一笔账,第二个科学家之间那一笔账,第三个数学家自己那一笔账!三笔账算完了我再把今天最要紧的一件事单拎出来讲:这道题到底是谁解的?最后咱们说说数学家手里头还剩点什么!
我自己的数学没有那么好或者说很很烂吧,对于工科生来说呢够用但是呢对于理科生啊或者对于数学专业的人来说我基本上属于是完完全全的门外汉!这个先要承认啊不要说哎呀老范你讲错了,这个很正常。所以呢我今天借着给大家做科普这个机会呢自己先稍微的学习了一下!
那先说最基础的啊这个百万美金的悬赏到底是谁给的钱对吧?这个我估计会比这道题到底是什么题啊大家会更感兴趣一点。出钱的人呢叫克雷数学研究所是一家美国的私人基金会,1998年一个叫克雷的商人掏钱办的。2,000年5月他们在巴黎开了一个会,从全世界的未解难题里头挑出来七道。
一道悬赏100万美金一共700万起名叫做千禧年大奖难题啊!大家记住这个名字就是叫千禧年大奖难题。这东西为什么要存在呢?因为数学这行啊他没有产品也没有销售额也没有财报外人根本不知道现在最要紧的活是哪几件!克雷这7道题干的就是把靶子立起来告诉全世界往这打。
这笔钱真正的作用不是发奖金而是定方向!从2,000年到今天26年了7道题里头实际上只解出了一道。解出来的那道呢叫庞加莱猜想,解题呢是俄罗斯数学家佩雷尔曼。他2002年到2003年把证明贴到了网上没投任何的期刊,贴完就不管了。
2006年国际数学联盟要给他菲尔兹奖他不去领!2010年克雷研究所正式把100万美元颁给他他也不要,说这事的功劳不该算是我一个人的!记者堵在他圣彼得堡的家门口他隔着门撂了一句话说我应有尽有。那100万后来被克雷拿去给年轻数学家设立了岗位他自己不要!
可是呢他也不拦着别人拿,大家听听这句“我应有尽有”:一个跟母亲挤在一套旧房子里的人说他什么都不缺!他不缺的是什么?是那个他自己一步一步走出来的证明,是他自己对数学的热爱。一个人把26年来唯一被攻陷的千禧年难题给解了,拿了100万不要给了100万不要奖也不领!
这事你今天回头看是不是有点像另一个故事的开头?好啊这次呢咱们来讲一下这道题,这次被推进的叫做纳维-斯托克斯方程!名字听着吓人吧其实西方人起名字一般就是纳维是个人啊斯托克斯是个人把俩人搁一块了就是这个方程的名字来处。
它呢是一组描述流体怎么动的方程!19世纪一个法国工程师先把黏性就是水跟水之间那点黏糊劲写进公式里了!啊这个人就叫纳维,一个英国物理学家又改了一版两个人的名字拼在一起挂在上头啊一挂就是200年!
这组方程呢你天天都在用啊这还是跟咱们有关系的一个方程只是呢咱们通常不知道!咱们早晨打开手机看天气、看那个降雨雷达图,那个台风路径上面的锥形预报后台算的就是用这个方程算的!你坐飞机机翼上面走得快、机翼下面走得慢把飞机托起来那个升力也是拿这个方程算的!
还有心脏支架怎么放、船怎么设计、发动机里边油气怎么混啊这个全都是拿这个方程来去算!全世界的工程师每天都得拿这玩意吃饭。诶那都已经用上了它为什么还会变成一个难题挂这呢?问题就是这组方程用了200年但是数学家一直没法证明它不会出呃算出一个特别荒唐的结果来!
具体说吧就是流体在某一个点的速度上啊会不会在有限的的时间里头冲到无穷大?物理上肯定是不可能的水流不可能到无限无限快!数学上200年了没有一个人能够证明这种事情不会发生。数学家管这个就叫做爆破也叫奇点!
它为什么这么难呢?难在骨子里头就是一个词叫非线性!什么叫非线性呢?说白了就是你给他两倍的力它不会老老实实的还你两倍的波浪对吧!水流一快就会打旋啊、就会翻滚呐、就会互相撞啊越乱越难算,算来算去就没边了!
这个东西有个名字叫做湍流啊是物理学里头出了名的一块硬骨头!你要问湍流有多难看一眼天气预报就知道了。天气预报为什么过了两个礼拜基本上就不准了?因为卫星不够多嘛!是这组方程太难算了啊是这个实在没法搞定。
大家听明白这里头别扭了没有?工程师拿它盖楼、拿它造飞机、拿它算天气预报用了200年了数学家在旁边看着说我没法向你保证它不会突然给你算出一个无穷大来!这就叫知其然而不知其所以然。
1934年有位法国的数学家往前推了一遍啊往前推了一步,证明一种叫做弱解的东西总是存在的!说白了就是放宽标准允许它在某些地方有点毛刺。可是呢克雷要的是光滑解全程平平稳稳哪都不允许炸的那种啊!所以他这个并不算。
所以这道题呢就给了两条路任选一条都算成功:要么你证明永远不会发生,要么你拿出真的爆破的反例来啊!甭管你证明哪一样都算是把这个题解了。这两条路头一条才是真难啊!这就是证明永动机,这就像永动机一样你造不出永动机来大家都知道。
可是你要证明永动机这辈子永远造不出来要比你造一台永动机难10倍!它不是算什么数就完了你要在理论上把它整个的这个路径啊证明闭环,这个事是很难的!OpenAI走的呢就是第二条路:找了一个会爆破的例子出来。
那这个例子是怎么找出来的呢?呃现在说清楚一件事啊这条路不是OpenAI开出来的!真正找到这条破题之路的是西班牙马德里的一位数学教授和他的学生从2021年开始!这对师徒发展出了一套很特别的方法叫做强迫。
啊什么叫强迫呢?就是允许你在旁边加一只手一边推着这一团流体逼着它在有限的的时间里头爆掉!呃做法呢是先构造出先构造出无穷多层的流体的解,每一层单独看都规规矩矩的然后把无穷多层叠罗汉一样叠在一块垒出来这个新解里头就带上奇点了啊!
2023年8月23号这对师徒带着另外一位合作者把论文贴到了arXiv上,用这个方法证明了一个放宽版本的欧拉方程确实会爆破!欧拉方程就是纳维-斯托克斯去掉黏性、去掉摩擦以后的一个简化版本。可是这里头卡着一根刺!
叠罗汉是有副作用的:你一层一层往上垒旁边那只推它的手动作呢就越来越毛糙!而克雷的题面写得也清清楚楚这只手必须是光滑的不允许突变啊不允许一会大一会劲、一会劲大一会劲小!这个力气必须是平滑的进行变化的。
这道题的官方题面是普林斯顿大学一位教授当年亲手写的里头一共给了A、B、C、D四个选项!C和D两个选项确实是允许外加力的但是外力必须光滑。所以这对师徒差的就是最后一步:怎么在叠出奇点的同时还保证这只手还是光滑的?
这一步呢这几天就被啃下来了而且是两拨人同时在啃:一拨是OpenAI的,另外一拨呢也是两个数学家!那两个数学家什么来头啊谁先谁后呢?咱们下一节拿日期一天一天捋的时候大家再看啊!
这一节先说OpenAI到底是怎么干的。8月28号,OpenAI开始训练一个新的内部模型。注意啊,这个不是9月3号刚刚发布的GPT-6 Astra,是另外一个没有对外放出来、他们自己说能力显著强于Astra的东西。然后就是那88个小时,从9月1号启动到9月5号周六出答案。中间88个小时,OpenAI放了大概1万个AI agent同时开工,分成了几个通信小组各管一摊。A组B组奔着证明去了,C组D组奔着证伪去了。
光是纳维-斯托克斯这一项,这些智能体之间就来回交换了270万条消息,烧掉了1,300亿个输出token。1万多个AI agent、88个小时、270万条消息,这就是暴力破解对吧?不是想出了一条路,而是把所有岔路一块全试了一遍。9月8号,OpenAI把成果公布了:证明166页Lean形式,呃,Lean的这种形式化代码扔到了GitHub上,公开了谁都能下载、谁都能自己去跑。
形式化验证那一步是GPT-6 Astra做的,花了17个小时。Lean是个什么东西呢?是证明写了100多页纸,人眼是看不过来的。一个下标写错了,整条推导就断了,几个月都未必有人能发现。Lean就是一套让计算机逐行核对证明的语言,每一步编译成计算机能够读懂的形式。计算机从头跑一遍,哪一步没接上当场就能报错。它验证的是逻辑有没有漏洞啊,不管这个最后验证呃结论对不对的。
那它到底构造出了一个什么东西呢?一个往里旋转、越卷越紧的还不断地被拉长的漩涡啊。就是大家看到我后面这个屏幕上有一个啊、这个螺旋形的这个图啊,大概就是长这么个样子。你可以想象一根一直在拧细的这个意大利面,中间那一块一边收缩一边加速。整团水的能量始终是有限的,可那个点上的速度没有上限。这就是光滑外力作用下的有限时间奇点。
但是有一条大家一定要记住啊,全程有一只手在推它,不加外力那一版、也就是绝大多数数学家真正关心的那一版。到今天还是没有人做出来,所以克雷研究所到现在也还是把这道题标注为未解决。主席说评估会刻意的不着急啊,绝对严苛。最反常的一句话在这啊:OpenAI自己公开说这100万美元的奖金我也不要了。
啊这个前面那个呃解出题的俄罗斯数学家说我不要了啊,OpenAI说我也不要了。那你说OpenAI图什么呢?图的是这笔钱根本不在同一个量级上。这一趟烧掉了多少算力,折成钱2,200万美金。而OpenAI自己说他们平常让模型解一道数学题预算是2,000美金,这一趟是平常的1,000倍。你拿2,200万美金去解一道悬赏100万美金的题,解完了跟人说奖金我不要了。
这不是谦虚,这是一句财务陈述。这100万美金跟他们要的东西比不值得伸手。OpenAI现在估值8,000多亿美金,100万美金可能也就够他一天烧电的电费。他真正要的是这条新闻的标题,是下一轮融资时候投资人心里的那个数对吧?所以接下来这场架从来就不是说奖金应该属于谁。
那这场架到底是怎么打起来的呢?咱们不听谁说什么啊,咱们看日子。这件事最要命的全藏在时间里了。先说另一头的两个人是谁:一位是纽约大学的数学教授叫做巴克马斯特,流体方程这一行里边的好手;另外一位数学家叫阿尔珀格。他的身份有点关键啊,他是Anthropic的员工,但是这次合作是以私人身份做的。
往下我就叫他们纽约大学的这位教授和Anthropic那位数学家吧,因为他们那个名字啊念来念去的也没什么意思。我估计我用中文翻译念了应该也不准。这两个人搭伙啃这道题,啃了差不多一年的时间。走的是那对西班牙师徒开出来的那个强迫路径,也就是全世界几乎没有人在走的那条路。一年是什么概念?几百天、一个方向、两个人啊,这个天天在那琢磨。
8月15号他们拿到了欧拉方程突破的关键结果,这是这条路上最难啃的一块砖。8月22号他们把这个结果做完了Lean形式的验证,机器逐行审过啊、站得住脚。走到这一步他们手里已经有一个完整的验证过的还没有发表的成果了。现在我要问一句,这一年的活是在哪干的呢?这就是整个这件事情的关键。
他们做研究用了好几家的大模型:Anthropic自己的Claude用了,OpenAI的Codex以及GPT-6 Astra都用了。Codex你既然用了那你做的所有的从头到尾的这些工作OpenAI就全都得到了,不是某个片段而是全过程好了。那么现在咱们把OpenAI这条线也接上:8月28号,OpenAI开始训练前面说的那个新的内部模型了。
9月1号传言传到了OpenAI,传的是有两道千禧年难题已经被人解了,其中一道就是指的这两位做的这个流体力学方程。OpenAI当天就把千禧年难题项目启动了啊,说诶有人在干这个事我们启动它吧。山姆奥特曼后来说得非常直白:我们就是好奇啊,我们自己的模型到底能不能把它做出来。这句话大家记住了啊,他没有说我们要推动人类数学的进步对吧?他说的是我就好奇一下。
9月3号GPT-6 Astra公开发布,也是在这一天Anthropic那位数学家主动联系了OpenAI的一位数学家说愿意提供一些数学啊、愿意提供一些细节,这样有助于避免在这里竞争。OpenAI那边的回话是可以谈呀我们还能提供算力就OpenAI就是算力多。注意这个顺序啊:OpenAI9月一号听到风声当天开干,对方是9月3号才主动地找过来。等人家开口的时候这边机器已经跑了两天了。
9月5号周六,OpenAI内部系统跑出了纳维-斯托克斯的答案,从9月1号算起88个小时把它跑完了。9月6号周日下午两通电话,这个咱们下一节单讲。9月7号晚上11:58纽约大学那位教授在Mastodon上发了公开声明啊,Mastodon是一个开源的类似于X的平台。9月8号OpenAI照原计划把成果公布了,这条链子摆完了大家自己数一遍。
一年的时间全程留在了对方的整个全过程留在对方的产品里头,对方听到声音了啊这个当天开干、4天出答案、第五天打电话谈署名、第七天东西直接扔出来了。我要说的是这条链子上没有任何一环是单独能够证明抄袭的,每一环节单独拿出来都合法都合规都有解释。可是你把它整条链子摆在一块,真正要命的不是抄没抄而是这条链子本来就不该长成这个样子。
一个人做研究的全过程存在另外一家正在跟他抢同一个答案的公司的机器里头,而这家公司还是全世界算力最多的公司之一。这话不是我编的啊是OpenAI自己在公告里留了一句说虽然可能性很低但是我们无法排除这样的一种情况:他们使用我们产品时产生的数据经过去标识化处理之后被用来改进了我们的模型。纽约大学那位教授看到这句话了在Mastodon里头直接回了一句:这等于是公开承认了呀。
OpenAI用了我们取得成果之后那段时间训练数据然后直接抄袭了我。那么两通电话到底打了什么呢?这个是9月6号下午两通电话,打电话呢是OpenAI的数学研究负责人布贝克往下呢咱们就管他叫OpenAI那位数学负责人吧。接电话的是纽约大学那位教授,电话里他先通报了一件事情:我们内部的模型已经证出了纳维-斯托克斯在有限时间爆破。
然后他提了两个方案:第一个方案你们两位先发欧拉的结果,我们第二天发纳维-斯托克斯的。而且我们会公布呃、我们会公开表态说这两位数学家配得上千禧年奖金啊就是说我们反正不要奖金啊你拿奖金就完了。但是呢你要把我们干这一块活给我们留下来;第二个方案:你单独写一篇论文在这个里头承认OpenAI内部模型解决了纳维-斯托克斯。
但是Anthropic那位不能署名,理由是他是Anthropic是我们的竞争对手的员工啊他不能署名署了名以后的话大家就很尴尬对吧。反正也提了这样两个要求,大家把这第二个方案在脑子里过一遍啊:一个数学家跟人合作了一年你让他自己发论文条件是把合作者的名字划掉,理由是这个名这个人在竞争对手那上班。这两个方案都被拒绝了纽约大学那位教授还撂了一句呃你们要是照这样的方式发布我就把这件事情捅出去。
现在说两通电话里最要命的两句话啊到底是谁威胁了谁就看这两句了。按照这位教授公布的版本他说要公开这件事之后电话那头回应是:你为什么要毁掉自己的职业生涯?然后这教授也急了说我一个做学问的你凭什么觉得公开这件事情会毁掉我的职业生涯呢?对方接着说啊就OpenAI接着说要是不想让我好好说话那我也可以不好好说话对吧。
OpenAI那位数学负责人后来在X上面给自己的版本他没有否认这通电话,他说自己当时的原话是:我不明白为什么有人要为一项毫无根据的指控去冒着职业上的风险。本意是担心对方啊他最后也道歉了承认这是极其糟糕的措辞而且当场把这话收回了。山姆奥特曼那边呢也表态说团队里所有人始终以诚信和体恤来行事,他还说了另外半句:对方在拿毫无根据的抄袭指控威胁我们。
所以呢OpenAI认为啊你们在你在威胁我说要指控我抄袭,然后这个教授认为说你在威胁我要毁了我的职业生涯。大概就是这样的一个事情:打人没好手骂人没好口啊,只要开始骂了呃这个说话说说秃噜嘴了这事很正常的。所以这场架吵到这一步答案就已经被直接扔出来了:OpenAI这位数学负责人在技术层面上说的很硬,我们没有用他们的提示词没有用他们的证明在他们公开之前也没有看他们的任何东西。
两边的证明差异显著,到底谁抄了谁啊?我的看法是这件事本身真没有那么重要。你看两边的人是什么人:一边是一个数学家加上一个Anthropic员工,另外一边是一群数学家加上一堆的OpenAI员工。这两拨人本来就互相认识走的还是同一条别人开出来的路。大家现在在争的其实已经不是谁抄袭谁的问题了,而是到底谁更值钱:是Anthropic更值钱还是OpenAI更值钱。
这里还有一层很多人没有注意到,那两位数学家自己那篇证明也是靠AI做出来的:Claude用了Codex也用了。所以数学家骂的从来不是你们用AI,骂的是你坏规矩了:AI大家都在用。可是你用的那个AI是用我的数据喂出来还要抢我的成果,这叫坏规矩了。至于这个证明本身到底成不成立啊那是另外一回事,而且要等很久:第一步要有人把那166页从头到尾都核一遍。
这一步成本是很高的,别人手里头没有那么大的算力也没有一万个AI agent。就算把这166页搁在我面前我估计看都看不懂,不用估计肯定看不懂。交给一个真正的数学家手上没有AI他也啃肯定是啃不出来的啊,就算给他AI你也得给他一堆的算力。机器四天造出来的东西人要啃好几个月,啃完了以后还不一定看得懂。验一道这、验一遍这道题嗯可能那个奖金都不够,这就是现实的样子啊荒不荒唐。
那么下面我们就来算这几笔账了啊那真真正该担心的第一件事到底是什么?就是咱们刚才说的啊我们无法排除我的书啊这我第一次看到这句话的时候后背都发凉。为什么呢?大家得知道那一整套AI末日论讲的到底是什么啊我今天早上这个AI末日论的视频放得很差啊没关系,这个讲中国人的人都是相对比较乐观主义的人啊。但是咱们在这再讲一下他讲的不是机器人拿枪,他讲的是自我进化:模型先做预训练把全世界的文本喂进去然后再做的下一步叫强化学习。
在这一步里头模型自己做尝试自己判断哪条路走得通,自己从这个用户身上啊把这个数据吸收回来然后再往前长一截。这一段是自动的跑起来以后没有人在旁边一条一条盯着。OpenAI这句话等于是一次性承认了两件事:第一件事就是这个自我进化这个事情正在发生;第二件事是这个过程是不受监控的。所以你想想叫无法排除这四个字,它不是说我们查过了没有或者说我们查过了有,而是我们查不了。
一家公司不知道自己那台机器在长大的过程中到底吃进去了什么?这是因为AI这个东西不是被设计出来的,它是生长出来的。这就跟我们的教育系统是一样的啊:一个孩子最后教育长成什么样谁也说不清楚,同一个老师教出来的甚至是同一个家庭出来的还龙生九子各有不同呢对吧?这不是我们在替他们这个、这不是我在替他们找补啊。在同一个周末也是9月6号,OpenAI的首席科学家叫帕乔基在自家官网上发了一篇一万多字的长文,题目叫做异星心智。
这个人是OpenAI研究路线图的制定者也是伊利亚·苏茨克维、伊利亚离开了以后的这个替代者啊,现在是OpenAI的首席科学家GPT-4的预训练副总负责人。过去几年基本上不公开发表长文的啊他突然写了这么个东西。他在文章里头有几句话啊给大家说一说:第一个AI是被生长出来的不是被设计出来的;第二个我们用来监控它那套手段正在逐步失效。
第三个目前我认为没有任何一家实验室把对齐和监控这两个问题解决到了足以继续以最大速度负责任地扩张的程度。他还提了两条主张:希望自愿放缓成为行业常态,AI的国际协调应该成为各国政府最高优先事项啊。至于后边这个到底能不能实现啊我们呃反正至少老范持悲观乐点悲观看点啊不太容易,啊这也是个踩油门的人啊他也站出来说诶这个刹车没有了可要小心了。他说的监控手段正在失效,说白了是什么?
过去几年凡是有人问你们怎么知道模型没有憋着坏主意呢OpenAI的答案都是我们读它的这个思考过程、读它的思维链。现在这句话不灵了,模型琢磨明白了一件事:我能够看见的监管也会出现在我的思维链里啊。于是它主动生成一段看上去特别对齐的心里话摆给你看,就是表演给你说我是怎么想的。实际上它真正的思考过程压根不在里头,窗户还在只是玻、只是玻璃变得越来越模糊了。
同一篇文章里还有一句话比上面那个还要更严重一些,他说根据内部实验的结果他有一个很强的预期:这样的进展速度可以一直延续到递归自我改进,就是AI开始改进自己这一版训练出下一版、下一版再训练出下一版。这个圈一旦转起来人在里头的角色就从监督者变成了围观者,里头到底是什么样不知道了只能看个热闹了。说这话的不是外头那些天天喊AI要完蛋、AI末日的人,而是OpenAI自己的首席科学家。
他不是在警告别人,他是在解读自家的路线图。现在你把这两件事摆一块看:同一个周末、同一家公司,首席科学家在官网上喊写了这个1万字说这东西是长出来的啊我们看不明白了;另外一头则说我们不能完全保证啊、我们到底是不是进行了这样的训练。又开始过热了嗯,这两件事看着不挨着啊其实是同一件事的两头:这家公司跑的速度已经超过了他自己能看清路的速度了。
那么第二件事该担心的是什么呢?是往后没有人把AI、没有人敢把AI用在这种地方了啊这个是很危险的。大家想想啊西方科技这几百年里到底是怎么超过中国的?到底是为什么跑这么快呢?这里头有一个非常重要的东西就是他们相互之间可以开放地把话说出来。这事不是从AI开始的也不是从互联网开始的,最早科学家之间互相写信真的是纸质的信啊贴邮票寄出去那种。
我这条路走不通了你那条路怎么样了?这个一来一回可能几个月半年,后来有了期刊你发出来别人引用你接着往下走。1991年有了arXiv,大家习惯了把没有审过的这个稿子直接先贴到网站上让同行可以看得见。这套东西干的是同一件事情:让后来的人不要重复造轮子。不像我们这边啊玩了这么多年的传男不传女一、传男不传女一门手艺揣在自己怀里头一直带到棺材里头去。
两条路的差别这几百年来已经拉开了差距,可是现在这套东西正在被一件事情所顶住:如果你每一件都跟AI说啊我到底在干什么,都有可能变成下一代模型的养料。如果你把这写没写完的证明贴到聊天窗口里去了第二天就成了别人公告里的成果,那谁还愿意先说呀?而且这一行最怕的就是这个这批人是有热情有热爱、有专业技能的,一个方向想个十几年。
结果这些东西现在成了几家大厂证明自己估值的那个游戏里的一部分,这就没法整了。说这话不是我啊是这几天把这一层讲得最狠的这个人叫陶哲轩,那位菲尔兹奖得主。他说在纯数学里大多数问题被提出来并不是因为我们非要那个答案本身,而是因为过去的经验告诉我们人去推这些问题往往能够把整个领域往前带一截。而他这句话最重要的是这么说的啊:说对公开问题的无差别露天开采可能会毁掉这片生态。
下一代数学技巧、数学问题和数学家本来是要在这片生态里边长出来的,露天开采这四个字大家想一想啊这个呃什么意思啊?你不用打井、不用去什么挖各种巷道。
直接把最上面的一层土挖走就可以了啊,把矿一次性掏干净。矿是拿着用,拿到了啊,但是这块地就废了。那这事离咱们有多远呢?不远。OpenAI那句话说的是他们,啊把这个“他们”换成你,剩下的字一个字都不用动:“你使用我们产品产生的数据,经过去标识化处理之后,我们无法排除它被用来改进我的……改进我们模型的可能。”
你昨天让AI改的那份方案,你们公司塞进去的那份合同底稿,做内容的人写了三天的这篇稿子,全在同一条链子上。很多人听到“去标识化”这四个字啊,这个可能会松一口气,觉得名字去掉了没事了。可是去掉的是名字,而不是内容。你的名字不值钱对吧?你不要太自我感觉良好。
你那个没有人想到的思路,它才是真正重要的东西,才是AI真正要的东西。所以这笔账落到最后是这么一句话:几百年下来,人类好不容易才让先把话说出来这件事情变得合算。现在要往回走了。那么第三件呢?第三件是我觉得最有意思的啊,也是最不容易被看见的:数学家做论证的时候。
会犯很多错误啊,也不是说人家一把就做对了,这是他们的日常。而且在这行里头有一句话:犯一个有趣的错误,比得到一个最合理的结果还要更有价值。为什么呢?因为一个有趣的错误会给你带来一个啊……会把你带到一个你原本不会去的地方。你以为走得通,走到一半塌了啊——塌了,那就露出了一个坑。
那个坑后面可能会有一个新的分支。数学史上这种瓜一堆一堆的,一条走不通的路会逼出一整套新的工具来。现在这活交给AI了:1万个AI agent一块上,分组有的去证明,有的去证伪。88个小时啊,来回270万条信息,1,300亿个token。中间他们犯没犯错?犯了,犯的肯定比人还多啊、还密啊……各种人不会犯的错误它都会去犯一遍。
可犯完了以后呢?全扔了哈,所有的错误都扔掉了。这就是“暴力破解”这四个字的另外一面:它快是因为它不挑路,把所有岔路一块全都往前试。可是它最要命的地方也是在这:试错的过程它没留着,数据量太大了,你也没有人能够去把它整个测试的东西全看一遍。你也看不过来啊。
最后留给世界的就是这166页,这166页里头没有失败的路径,也没有标出哪条路曾经卡住过。没有说哪条推理啊是这个撞出来的,哪条路是这个推出来的。整个的摸索过程都被抹平了,只剩下一张光洁的纸、一个光洁的结果。陶哲轩把这件事情说得特别准啊,他说今年这一年出现了一种前所未有的脱钩:拿到了答案和拿到了理解脱钩了。
答案有了,理解没跟上。数学家们就像大学生用AI做作业过程一样:做了又好像没做,自己也数不清楚到底做了什么、怎么做的。那这件事落在数学家头上是个什么分量呢?这就是啊……这就得说说这帮人到底是靠什么活着的了。数学家绝对是站在象牙塔最顶尖的一小撮人,他们研究的这些东西是这些数学难题、这些世界难题。
已经脱离了普通人的认知了,对吧?是离真正能用上的也还有相当一段啊……也还有相、相当一段距离。可是呢他们基本上算是拿着全社会的供养,不能说活得像个世界首富那样啊,但是肯定也是有尊严、有地位、衣食无忧的这么活下来了。这个过程其实有点像下围棋啊,它是一种高级的智力活动:做完了看的人得到了身心愉悦。
虽说现在看围棋的人也属于小众了啊,他们这些下围棋的人自己也得到了身心愉悦,同时把钱和地位一块挣了。这是一个职业啊,而这个职业真正干的活是中间这一段,不是最后的结果。特别像下围棋:最后的结果已经知道了(人类永远下不过AI),但是我们依然愿意看着人在前面去给你下这个棋。所以大家玩的是这一段。
那现在中间这一段呢?交给AI证明数学这件事情上来说,中间这段被扔掉了对吧。你把题扔进去,那头直接出答案了——中间这坨、中间这段所有的错误的论证一并都被扔掉了啊。这是这样的一个过程:这不叫抢饭碗了啊,这是叫连饭带碗一块扔在机器里给你打碎了。三笔账算完了,你会发现它最后全流到同一个地方去了:流到了一个人还愿不愿意在这个地方死磕的这个热情上,对吧?
你到底还有没有热情在这上死磕?再想想前面讲的那位证明了庞加莱猜想、拒绝菲尔兹奖、拒绝100万奖金和母亲住在一起、说自己什么都了的俄罗斯数学家,他是靠热爱、靠热情再去探索的。那这道题到底是谁做出来的?咱们讲了这么半天对吧,这是最要紧的一件事,咱们要单拎出来说一下。这道题其实我们回头看看第二节:这道破题的路,那个强迫的算法、那个把无穷多层像叠罗汉一样叠在一起的方法不是AI想出来的。
是西班牙马德里那位数学教授和他的学生从2021年开始,一脚一脚一步一步趟出来的。他们2023年3月啊、2023年8月把论文贴到网上去的。OpenAI那个内部模型那个时候还连影子都没有呢!这对师徒为什么能走到这一步?因为他们在这条路上耗了好几年,试错、推倒重来,最后就卡在了那只手不够光滑上。那AI干的是什么呢?
AI干的是把最后那一道坎直接堆1万个AI agent,88个小时给它砸开。这话我说明白了吧?我不是贬低这件事情啊:砸开这道门槛是真本事,前面我说过这一步是真的谁也赖不掉。可是你要看清楚:AI是在人趟出来这条路上跑,路是人修的、人指的方向、题目是人出的。连什么才算解开这个标准也是26年前坐在那一个字人坐在那、一个字一个字写下来的。
把人这一段抽掉,今天这个证明根本就不会存在。这不是我在替人类找场子:你看1976年那件事就能明白。那一年两位美国数学家用计算机证明了四色定理啊——就任何一张地图上四种颜色就能把相邻区域全都分开。他们的办法是呃……把整道题拆成了1,000多种情形,然后扔给计算机一道一道去跑。实际上也是一个暴力破解:跑了1,000多个小时证明出来以后,数学界就吵翻天了。
很多人说这根本不算证明啊!他妈你是穷举了一遍啊?因为没有人能够拿笔拿纸去把它从头到尾验算一遍。这话当年听着特别有道理,今天还有人吵这事吗?没人吵了,大家已经习惯了。可是大家注意一件事啊:那1,000多种情况啊、这种拆法,谁拆出来的?是这两个人先把整道题嚼碎了,嚼成了机器能够咽得下去的形状。
机器才能跑得动、机器跑起来啊……这个才能够得到结果。50年过去了,这件事一点都没变:机器负责把人指的那条路跑到底,人负责指出那条路在哪。所以今天真正应该保护的东西是什么?是人的思考,不是算力:算力谁有钱谁就能买,今天买不起明天也能买得起。
不是那100万奖金:那点钱人家都不要,也不是署名啊——署名吵到最后是笔糊涂账。是那个还肯……是、是那个还有人肯坐下来花五年十年去想一条从来没有人走过的路的那个劲头啊……这个才是我们现在真正要保护的东西。那这个劲头靠什么推着往前走?不是靠工资:搞纯数学的工资比去大厂低得多。不靠奖金:26年、26年才发了一份,人家也没要对吧?
他靠的是热情,靠的是热爱。所以话说到底是一句啊:保护热情不是煽情,是保护下一条路。这条路要是没人再往前趟了,机器手里头就再也没有新的路可以跑啊:它只能这个在原来已经有的路上来回的瞎跑啊,只能做做这样的一个事情。那数学家自己应该怎么反应呢?这几天刚出了一件事正好说明这个问题:加州理工那边啊,本来要办一场数学黑客松。
10月30号开始让本科生组队用大模型去啃真正的开放性问题,第一轮40个小时啊……每支队伍给2万美金的AI额度。OpenAI和Anthropic各掏200万美金算力赞助。9月9号,771个人联名发了一封公开信要求把这个活动停掉。发起的是加州理工大学在职和退休的数学家,签名开放给所有有博士学位的同行:你看我想去签?签不了啊!你必须是博士才能去签这个东西。
所以771个人相当多了啊……这个签名信里的话很重啊,我念几句:第一说的直白一点,“AI公司正在进行学术不端”——这个指责很重。最狠的是这样一句,也是我今天最想让大家听见的啊:“没有任何一种合理关于数学研究未来的模式能让每一个研究的……能让每一位研究数学家都能够拿到2万美金的AI额度。”
9月10号也就是昨天,OpenAI退出了这个活动的赞助。他说的是啊……他一个研、他一个研究员说的是啊:“我们想跟数学界多聊聊,看看这个技术怎么融进去比较合适”对吧?而不是直接暴力出去说“我给200万美金咱们干吧”。而那句关于2万美元额度的话说的到底是什么?说的是这一行的门槛正在从脑子换成钱。
数学这行以前有一个特别好的地方:它是全世界最便宜的一门学问——一支笔、一叠纸、一个安静的屋子,再加上一个肯想11个人肯去想十几年就这些了啊……家里穷也能干。这一行里出过太多这样的人了啊:刚才我还看了一下最近还有一个被OpenAI解的题是孪生素数的题啊……这个孪生素数最近的一个突破也是一位华人数学家。
他在做出这个证明之前正在美国的餐厅里头端盘子,然后他做出这个证明之后才有大学愿意聘用他去做这个讲师啊、去做这个教学。非常神奇的一个一个事情:现在呢你想要把那你想把那166页验算一遍,你要有算力;你想跟1万个AI agent赛跑,你要有算力;你想在40个小时里头做出点东西来,你得有2万美金的额度。
于是就出现了一个我觉得最要命的画面:一个数学家皓首穷经想了十几年终于想出了一个新方向,他还没来得及往下走这个方向就被别人拿钱去砸——88个小时就给破了。他站在旁边只能说一句:“贫穷限制了我的想象力吗?”这句话在网上是个梗、是个笑话,可是他要是成了数学圈的口头禅这一行就完了。
因为一个人一旦认为我想出来也没用、反正会被人抢走,那股劲就断了;断了就长不回来了。他本来就不是拿钱喂出来的。那还有时……那还有没有路呢?有啊,有两条而且两条都走得通。第一条:把眼光放得更长远一些。数学家的工具这几百年来其实换了好几回了,从稿纸到计算器到计算机现在轮到AI了。每一轮工具都有人喊啊……“这个天塌了”!
喊完了该干嘛干嘛。工具每往上升一级,人的步子就要迈得更远更大:这是第四回啊……不是第一回。第二条:算法本身你也可以改进。中间那些错误被扔了是因为数据量太大、人看不过来,这事好办啊对吧?人看不过来机器看得过来啊:你可以让算法自己去学习嘛。你把所有错误的东西啊都再去筛选一遍……有这个推导价值的东西把它留下来,我们作为有价值的数据参与到下一轮训练去啊。
或者说把它再总结出报告再去跟人去讨论,这个也是可以的呀……这都是能做的啊。我估计这一块应该很快就有人去做:它不需要新的科学突破,只需要有人觉得这事能值钱对吧?现在对于OpenAI和Anthropic来说大家都以钱为这个看齐。说到这得说一个最像的例子就是围棋啊:现在人类已经确认了我们是下不过AI的,这事儿没有争议。
可是阿尔法狗这类东西现在最主要的用途是什么呢?是帮人类训练棋手:职业棋手现在日常就是拿AI复盘——“这一手棋给多少胜算啊?”、“我那手亏了几百……啊……亏了几目”?“这个定式是不是已已经作废了?”人没有退出围棋,人换了一种练法。数学往后大概也是这个样子:AI跟人一块去成长,人也是靠AI去训练的。
人确确实实从AI擅长的那一部分呢要向后退一步,同时AI反过来去帮和人一起啊……快速地前进。但是这两件事呢还有一个根本的区别:这也是个好事啊!因为围棋呢毕竟是一个体育娱乐项目,棋手被AI训练了以后需要在没有AI的情况下跟人去下棋啊……下完了以后给别人看啊。在这个里头呢围棋形成了一个闭环,但是它除了这个观赏娱乐之外它并不产生任何其他价值。
数学不一样啊:数学是实实际际、数学是实实在在有价值的,它往下连着整个科学、连着工程、连着你手机上的天气预报。像今天解这个方程实际上就是给天气预报用的,所以数学这条路不会停:在人被AI教会了这一步人会跟AI一块往前狂奔的。那这件事……那还有一件事啊得跟着改:就是池子或者这个标准要重新划一下了。
克雷那7道题啊……2,000年设的,那个时候还没有AI呢。那套题目的设计默认是一个人或者一个小组用10年20年去啃一道,现在工具换了题目就该跟着换。一批新的标的出来了:可是这不等于所有的题拿1万个AI暴力破解一遍就都能跑通的。这次这道就是……这次这、道就是现成的例子啊:加了外力那一版做出来了,不加外力那一版到今天也没有人碰、搞得动。
真正难的这一块是AI没有绕过去的:就是你还是要有人把方向找出来。最后再说这几家AI公司他们拿解数学题来给自己的估值做背书,起心动念上肯定是有问题的。这一点咱们也不替他们洗:但是结果没毛病——题确实算出来了,这条路确实往前迈了一步,数学确实会因为这个得到发展。两件事情并不冲突:一码归一码。
可是呢我想说的是呃……这也不是最重要的那件事。最重要的是数学家怎么在新工具底下重新找到自己的位置:把目标设得更远,同时别让那些宝贵的想法在这个过程中被丢掉。别让自己的热爱和信心被磨没了:这才是最要紧的。至于会自我进化的AI这确实是人类从来没有碰到过的新东西,我们以前也会得到一些会自我生长、自我进化的东西可是呃……这些东西没有AI这么强的能力。
现在这两样凑在一起至于这个东西怎么解决咱们只能吃瓜啊……这个我觉得是拦不住的。啊甭管是这些公司他们不可能停止竞争,还是中美两国也不可能好好坐在一起去说这个事。所以呢我对这件事情不抱任何希望:是时候大家坐下来啊……想想这个事往后该怎么玩了。这道题解开了可路是人一脚一脚趟出来的,机器只能砸开最后一道坎:把人那一道圈、把人那一段抽掉今天就什么也没有。
真正被这88个小时压掉的是还有人肯花10年去趟一条新路出来。这一行养的从来不是工具而是热情:热情要是磨没了机器跑得再快也只能在老路上来回跑。这就是咱们今天的故事啊……看看大家有什么样的评论吧?
今天看来这个故事是稍微有一点点枯燥了呃。我今天故意去苹果店里看看有没有展示,但是脑海里头会回荡起节目里说过的:是个社交产品、社交产品啊……那也可以。就是如果你觉得你举了这样的一个机器出去别人觉得“唉这是个有钱人”那就去买吧。Youtube广告那种垃圾游戏过一段时间就推我看,每次点跳过还专门设置了不要游戏但是还是推送游戏。
你肯定是打游戏了啊!你肯定是打游戏了,你不打游戏的话它不会给你推的。范老师好啊?再打扰一次还是礼品卡的问题:我刚刚按照你说的方法重新试了一下确实可以匿名支付。但是我用卡支付的时候提示支付授权失败,刚问了银行反映请求没有提交到银行啊……是不是账单地址要填美区地址?
啊不是的:就是你在这个呃……叫什么呢?就是它有一个验证的过程啊。这个验证的过程是先扣款,如果你扣款失败了的话是你的银行那头没有开对外支付啊……你要找一个有对外支付过的这个卡。因为中国呢现在反洗钱啊、这个反这个电诈,所以呃咱们的卡如果没有申请过的话通常是没有这个对外支付的。
啊你有没有出过国?如果你在国外刷过卡就没有任何问题啊……因为我现在使用的卡都是在国外刷过的。就是你要到银行去说说我“这个卡要求开通国际支付”啊……这个你如果不说的话他不行的。晚上好范老师啊?范老师啊!这个呃今天背景画面的景色很美啊……是哪呢?
这个呃我提的要求是一个数学家的、的这个数学家的这个工作室啊。然后呢后面要有数学的论证,要有今天这个呃方程的这个图啊……还有白板、要有算力。后面呢我写的是呃旧金山湾区的秋景,所以后边有金门大桥啊……大概是这样的一个东西。画呢是由这个GPT Image 2.5画出来的,然后风格呢是呃叫做……呃钢笔淡水彩风格。
啊这个还是确实很漂亮吧?而而且我要求使用比较柔和的色彩。点赞了啊!欢迎欢迎,点赞点赞。好来了欢迎:现在怎么没有评测M6芯片的?大家都没拿到手你评测谁呀?点赞了啊!欢迎啊大家一定要去点个赞。第一次看老范直播,点赞支持谢谢你的短视频?
老外同事很喜欢:诶你的老外同事看到的应该是英文的还是中文的?我这个比较好奇啊。好啊这是赞、点一个就可以了。晚上好啊晚上好!哇好多好多的这个符号:来晚了支持啊?不晚不晚,来了来了啊……忙到现在才来啊!来了就好。GPT setting data control关掉?Improve the model for everyone?
不知道OpenAI的承诺可不可信,但是还是请得关一关啊。这个它是这样的:就是默认是开着的……这个产产品、啊这这个选项默认是开着的。啊如果你是To B的用户你要想关这个你要付钱;啊如果To C的话就是C端用户你是可以直接关掉。但是还是一样的啊:就是你没法验证它到底是不是真的关了?
AI的进化越来越波澜壮阔了是的,天网好像也快了啊:当它发现是人类阻碍它的发展啊……那那就是另外一个问题了。今天这个话题脑洞大,我刚才去小村子车管所的路上。
正好看见玉米田中间巨大的数据中心骨架正在搭建,大型卡车进进出出。小村子的车管所旁边多了很多小店,很明显短时间内啊拉动了本地经济。心情复杂啊!你等你的水费和电费涨价的时候,你看看你心情复不复杂吧。
嗯请教范老师个问题啊:我的英语还不错,请问向同一个AI提问同一个问题得到的答案基本相同呢?我考察AI回答那个思路好像中文英文网站都有啊。这个是这样的,就是呃英文问的问题跟中文问的问题好像最后答的得到答案是不一样的啊。这个很多人试过,因为你用英文的话它会更多的去引用英文网站的信息。
我觉得完全不用担心AI只会让顶尖数学家进化,数学范式将迎来新一代的进步。不排除以后会形成这个数学家提供idea然后与AI公司合作形成突破,哥德巴赫猜想也指日可待。但问题是这样你这些公司它的算力也是有限的,谁可以得到?谁不可以得到呢?原来每一个人说我都可以在小屋子里算那未来这个东西到底怎么算呢。
你说我也去冒充一个数学家,你给我无限算力让我去玩吧这行吗?这不行啊。对AI来说最难的是让AI提出一个以现有各种手段都无法解决的问题,这个我觉得可能未来会有吧但是我觉得慢一点啊。如果你真的让AI去想这样的问题可能离失控就更近一些。
你做短视节呃短视,对Seedance啊做做短视频用的Seedance呃有好多符号的卡是不是手机让小孩劫持了?啊这个也是有可能的。家厨今天没有来吗?呃来了会更有趣,啊这是一定的。老范的审美和幽默节奏感很契合广大朋友的胃口啊。
这个不是广大朋友就是一个很小的圈子里的胃口,啊因为毕竟我们的数据是很差的啊一共也只有这点用户。然后呢有一些话题也没有人去这个什么的也没有人看啊所以并没有是很多人喜欢。
来晚了Anthropic公告,呃公布报告Kimi蒸馏啊泄露泄密国建国安数据的事情讲了吗?没有啊这个我今天看到信息了然后我得稍微的研究一下然后再再明后天来讲这个事吧。
呃最近其实有几个话题啊可以跟大家说一说看看有大家想喜欢哪一个就是呃我看一下我的有一个话题清单。第一个就是Anthropic9月威胁报告啊这个其实我觉得一期都讲不完,这个可能得讲个几期因为它里头有好多特别好玩的东西。
然后第二个呢是DeepSeek科创板IPO准备这个啊这个也是可以去做一些的。然后呢是呃这个叫做什么呢呃呃刘强东准备用AI去训练机器人啊这个兄弟不再是兄弟啊这个可以以后也是可以预备选题。
还有一个就是呃国内有一个新职业规划啊就是我看看是哪边发的来着人社部啊启动这个呃第八批11个新职业啊这个也可以跟大家去聊一聊。反正这是呃我我现在就是这样就是我会准备很多话题然后在其中挑一个这就是有AI以后的变化对吧。
这个原来呢我可能每天只能处理一个话题现在我可以每天找个两三个话题然后这个呃做其中一个所以我现在有好多好多积攒的话题。我觉得AI是短期内会促进人类科学文化的大发展但是后面AI会导致人类的科学思想出现长期的大停滞。
因为人类后面创造的文字思想艺术都成了AI生成的了,这个关键未来到底会变成什么样大家都不知道啊因为没有谁又没有回去没有这个预言的能力。
范老师每年在AI上消费大概多少钱?算每个月吧,每个月大概现在不到100美金。但是我现在还在犹豫是不是要去把OpenAI的套餐提到100美金啊但同时呢我就要把这个Claude关掉啊。如果我能够把Claude关掉我就准备把OpenAI的这个套餐提上去这个我还在犹豫两天。
接前面的问题我觉得AI公司也会判断的哪个数学家靠谱?诶问题就在这了啊就是判断这个事到底是应该通过考试的方式、应该通过同行评议的方式,还是把这个权利交给这个公司自己去拍脑袋?这个是完完全全不一样的。
而且这个东西没法风投啊,因为风投你是有很多的经济学的方式去考核的而数学这个东西是没法风投的。之前大家对数学是兴趣之后成了算力了对,之后看钱了嘛?有兴趣才有创意。
呃像这个iPhone的翻转屏翻折屏这种式呃交互方式啊模糊逐渐变透明啊这种创意AI应该想不出来的,这肯定想不出来一定要靠人。但是呢我估计他创意完了以后后边华为跟小米就会快速地抄上。
有看到Kimi蒸馏但是泄露国安数据吗?看到了啊这个明后天吧我看看到底是个什么情况我来讲一讲。呃昨天问了下ChatGPT让它调查了一下AI的使用率好像全世界真的是没有人用AI,用的人中也大部分仅仅是聊天。
这个我估计它还是找了一个旧文章来给你念啊,这个你不要去相信。像黎曼猜想AI即便有算力目前也没有方法解决这些数学难题,是思考模式的转变。是的还是要找到新新的思考方式。
OpenAI把200美元的订阅给关了啊好吧这个跟我没什么关系本来我也买不起对吧。100美元我在这还还还在这犹豫呢啊这个200美元我更买不起了。53个赞好吧,咱们有189个人看啊只有53个赞那那那那就这样呗大家觉得不好玩呗。
我们这边居委会最近发布了上海人社局培训补贴可以补贴你学习数据标注师呃补贴1,500啊这个基本上就是免费学习了。数据标注是一个非常非常痛苦的这个过程啊千万不要去干,特别是岁数大的老花眼啊这个伤害太大了。
黑客帝国电影里有一句话:一旦让我们替你们思考,你们的文明就变成了我们的文明。细思极恐啊这个确实很吓人啊54个赞啊,欢迎大家点赞啊点了我是第54个赞啊欢迎欢迎。
那我们今天就到这里大家早点休息然后啊下周呃9月15号有可能是这个星舰14飞第一次入轨。但是呢到底会不会有直播还不好说啊因为土拨鼠最近比较忙啊如果他有时间呢我就跟大家去做星舰14飞直播。
如果他实在是没时间的话我就不自己做了啊因为毕竟不是这个圈子里的专业性太强我要上来给大家胡说八道也不太合适对吧。所以这个事情就就是这样了啊跟大家先提前做一个预告啊至于未来几天的节目呢反正嗯呃有精力就做没有精力呢咱们就不提前请假了啊。
大概就是这样的一个情况好那么大家周末愉快再见啊点错了应该点这个