Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

最近Claude又发生了一波封号潮,经过这么久的摸索了,总体就这几个主要原因 1. IP IP不是绝对因素,但是干净的IP绝对是大大加分,而且Anthropic也把IP检测平台列为了合作伙伴 这个IP质量检测平台是Anthropic的合作平台,大家可以自己检查一下 2. 开卡方式 虚拟卡以及一些经常批量开Claude的卡台,这也是封号最为严重的因素之一,使用虚拟卡开卡风险会比较高。如果你试了好几个卡都不行,可以试试专门为AI订阅优化的卡台服务商。 我自己用的是yika 3. 反代 不要反代,比如sub2api这种,反代基本必封号,实测只有百分之几的幸运号而且还是一并发的反代号能活,几率非常小 4. 设备🫆 如果你怎么开都封,那就不是以上因素,是设备问题。换个浏览器重新开。 5. 邮箱 邮箱使用谷歌或者Outlook比较好,乱七八糟的邮箱一个是弹验证码几率高,一个是封号概率高,不干净的邮箱有的开号会秒封 其他乱七八糟的使用英文对话,改设备时区到美国时区,根本没有一分钱关系。

65,225 görüntüleme • 14 gün önce •via X (Twitter)

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

Claude Fable 5 重新开放了 最近刚好有一个demo,就是看能不能用顶级模型做一个meme工厂 “ 就是我输入一个 Meme Coin 创意 然后这个工具自动生成品牌 / 叙事 / 经济模型 / 营销方案 支持中文全流程输出,可以反复优化迭代 “ 也是想尝试一下,做一个可以验证 Fable 5 长任务能力 最终做出了一个能够简单跑的框架(我没有投入任何信息源,没有喂数据 所以跑起来效果没有那么屌,不过我觉得后期再投喂一些案例,我觉得确实是可以落地的) 说说我为什么用Fable 5 来测? 因为这个任务本质不是写代码 更像是说去测试AI的长链路规划能力测试 它需要: 1/ 语义理解 2/ 叙事能力 3/ 结构能力 4/ 一致性 5/ 自我检查 这刚好是 Claude Fable 5 主打的能力 整体跑下来我觉得还算是可以的,毕竟我这种不会写代码不会设计的小屌丝,确实在Fable 5 上面使用得其乐融融的 哈哈 再说说我的TOKEN使用量吧:112.31K(按照官方的收费标准大概是在:$4.2) 要是加上文本案例 再接入一个AI对话的API框架 我觉得应该费用还要再多出个大几十吧(个人猜测,毕竟投喂数据可能会比较烧tokens) 总的来说的话我个人还是觉得这笔消费还算挺值得的,因为这本身在传统行业的话 可能会是比较高的费用,AI真的弄挺好的 说完Claude Fable 5的体验, 那我不得不说我是在哪里体验的Claude Fable 5了 我这次没有走官方通道,而是走的是我之前给大家分享的中转站 Zenmux ZenMux 因为他这几天又搞活动了,只要你账号的余额>$0 你就可以免费体验Claude Fable 5 并且 Zenmux支持(不限于): 200+ 模型统一入口 无 RPM 限制 PK 模式 可以直接做横评 如果大家也想低成本体验一下 Claude Fable 5 我觉得当前使用Zenmux是最好的选择

车九

48,181 görüntüleme • 11 gün önce

【日本生活】大龄码农赴日见闻-7:如何在日本顺利办理手机号?外国人必看攻略! 💡首要任务 在区役所登陆完住所后有三大首要任务:办手机号、开银行卡、租房,这三个东西时互相依赖的东西 基本上,办理手机号需要有住所和银行卡(含信用卡),开银行卡需要有住所和手机号,而租房需要有银行卡和手机号,他们互相依赖,形成了需求的闭环 其中开银行卡和租房的要求都卡得特别死,唯一的突破口是办理手机号,住所直接使用民宿的(前提是真实居住的,并且已经在区役所登记该地址),而银行卡可以使用国内的 JCB、Visa、Master Card 等信用卡(这个之前提到过,可以在国内的时候,多准备一些),所以是满足办理条件的 💡运营商选择 日本的手机运营商挺多的,个人把他们大体分为三个梯队: - 一线运营商:AU、NTT DOCOMO、SoftBank、Rakuten(新兴运营商,姑且算新一线) - 格安卡:UQ(AU 亲儿子)、Y!Mobile(SoftBank 亲儿子)等 - 虚拟运营商:IIJ 等 一线运营商可以类比国内三大运营商的顶配套餐,比如中国移动全球通的感觉,好处是有自己独立的网络、信号更稳定、网点多,并且业务覆盖非常广泛,基本都有包括宽带、电视、电话、金融一类的全家桶,缺点是贵,适合价格无感用户; “格安”的意思我搜索了一下,GPT 说:“格安”(かくやす)是一个形容词,意味着“非常便宜”或“价格低廉”。虽然是这样的名字,但大致来说,如果在没有优惠的情况下,也不会特别的便宜,即便在优惠期内,每月的月租也在 100 到 200 人民币左右,算下来,一个典型的每月 20G 流量的格安卡套餐,每月消费 160 人民币左右。这些运营商基本都是一线运营商旗下的廉价品牌,用来给自己主品牌引流,比自身品牌稍微便宜一点的同时又要比租用自己网络的虚拟运营商获取更多的利润,好处是办理这些运营商的卡可以共用其对应一线运营商的生态,比如宽带线路,信号也相对虚拟运营商更优先使用; 也有不少的虚拟运营商,自身没有基础设施,都是向一线运营商租用,可以做到比较低的价格,不过一般没有门店,需要全程在网络办理,有一定的等待时间,并且可能对注册者的住所和手机号有要求; [图在附件] 上面这张图就是这边营业厅自认为比较优惠的几种手机套餐,算下来一家三口都正常办理手机号的话,差不多一个月 2、300 块是要的。跟国内动辄 1、200 块搞定全家人流量+电话+宽带+电视的融合套餐没得比,有些难以理解在日本这个竞争如此白热化的市场为什么手机话费还是可以做到这么贵呢? 在国内就开始研究日本的电话套餐,前前后后做了不少功课,大致确定,在日本的第一年使用 UQ,后续根据情况考虑要不要携号转网到 Rakuten 一类的运营商(Rakenten 也就是乐天,目前套餐性价比比较高,但由于是新运营商,所以覆盖率和稳定性还有待提升,先看看再说),不选择虚拟运营商的原因是时间上等不起,毕竟没有手机号就无法办理其他的流程,需要马上拿到 SIM 卡。 儿童的手机号因为对申请时间不敏感,并且流量需求并不高,所以可以考虑后续再通过网络申请 IIJ 的卡(最低的 2G 流量套餐每月大概 60 人民币)。 💡办理号码 虽然法定休假已结束,但是街边大部分的小店都没开门,最终去天王寺商圈的 AU 店铺开了两张大人用的 SIM 卡,选了 UQ 的 20G 流量月套餐,七七八八的优惠都用起来以后,每人每月也得 100 多。所用到的证件包含: - 护照 - 在留卡 - 招行 VISA 信用卡 办理手机号时,有个加 20 左右人民币选号的服务,可以自己选好手机号后四位,然后系统出现一堆匹配的手机号,自己从中选一个。跟选车牌号有点像,还是比较有意思的 本地手机卡到手以后,可以考虑进行的操作如下: - 设置日本手机号为主卡,关闭国内手机卡的流量漫游; - 国外账号的手机号换绑; - 网购手机号更换; - Apple ID 手机号换绑; 很多禁止大陆手机号注册的服务都可以使用了 微信换绑以后,界面名称会变为 WeChat,据说如果手机号在亚太地区的话,数据会被迁移到新加坡,注重个人数据隐私的人士可以考虑操作

Justin

28,566 görüntüleme • 2 yıl önce

两个人不见面,不聊骚,不涉黄,不约会,不聊色的情况下,一个男的一个女的能聊多久? 我长期观察 Kindred Labs ,有了一个清晰的判断。 它真正想解决的不是 AI 像不像人,也不是 IP 会不会火,而是一个更底层的问题,IP 在数字世界里,第一次拥有完整生命周期的数据主权。 现在大多数 IP 的命运都很相似。 被创作 被传播 被消费 被平台吃掉数据。 用户的情绪 行为 偏好 和记忆,全都留在平台,IP 本身却什么都带不走。 Kindred Labs 的核心改变在于,它把 IP 从一次性内容,变成一个持续运行的系统。 这个系统不是靠曝光驱动,而是靠关系驱动。 SATO 只是第一个被完整跑通的样本。 真正重要的不是它是蚂蚁,而是它作为一个可持续存在的 AI 实体,每天在和用户产生可记录 可学习 可累积的数据关系。 这点非常关键。 因为一旦 IP 拥有了长期连续的数据轨迹,它就不再只是形象,而是具备了状态 演化 和历史。 这在传统 IP 体系里是不存在的。 从技术角度看,Kindred 在做的是三件事的叠加。 第1️⃣:IP 的行为层被模块化,所有互动不再是一次性调用,而是状态更新。 第2️⃣:用户关系被本地化,IP 不依赖平台推荐生存,而是存在于用户设备。 第3️⃣:数据权属被重新定义,IP 的成长轨迹是可验证 可迁移的。 这三件事组合起来,本质上是在为 IP 构建一个类似账户系统的存在形式。 不是账号,不是 NFT,而是一个可以持续运行的智能体。 这也是为什么我不把 Kindred 看成 AI 产品公司。 它更像是在搭建一个IP 的操作系统。 未来每一个进入 Kindred 的 IP,本质上都是在接入同一套运行环境。 从这个角度看,SATO 的经济设计反而只是外层。 真正的价值在于,Kindred 已经证明了一件事。 IP 可以不依赖平台流量,也可以持续存在并扩展关系。 这对内容产业意味着什么。 意味着未来 IP 的估值不再只看曝光,而会开始看留存 看互动深度 看生命周期长度。 而这些指标,只有在 Kindred 这种系统里才成立。 很多人把 Kindred 和其他 AI 项目放在一起对比,其实是错位的。 它不是在比模型能力,而是在重写 IP 的存在方式。 从长期建设的角度,我更关心的是下一步。 当更多 IP 进入这套系统,IP 之间是否会产生协作。 用户是否会开始把时间分配给不同智能体。 以及这些关系是否会反过来形成新的价值网络。 如果这些成立,Kindred 就不是一个爆款项目。 而是一条新的数字文明基础设施。 这也是我持续关注它的原因。 Kindred Labs #kindred #KAITO

草帽 boy

566,380 görüntüleme • 6 ay önce

小扎吐槽苹果和 Google,以及谈为什么开源 AI **Mark Zuckerberg**: 我认为移动生态系统中普遍存在的一个问题是有两个把持入口的公司,Apple 和 Google,它们可以告诉你可以构建什么。 在我们的历史中有很多次,比如有经济层面的情况,就是我们构建了些东西,然后它们就会拿走我们大部分的收入,但还有一种是质量层面,这实际上让我更加不满,也就是有很多次我们推出或希望推出某些功能,然后Apple就会说,不,你不能推出这功能。 这真的很糟糕。 问题是,这样的世界是否会在AI领域复现,就像你会有一小部分拥有封闭模型的公司,它们控制API,因此将能够告诉你可以构建什么。 我可以说,对我们来说,自己构建一个模型以避免处于那种位置是值得的。 我不希望那些其他公司告诉我们可以构建什么,而且我认为从开源的角度来看,很多开发人员也不希望那些公司告诉他们可以构建什么。这就是我坚定支持开源的原因之一,我认为未来AI的集中化可能像其广泛传播一样具有潜在危险。 我发现很多人都在思考,如果我们能实现这种技术,那么让它广泛传播是否不利。 我认为另一种可能也很糟糕的情况是,如果一个机构掌握了一种强大的AI远超其他所有人的,这同样是非常糟糕的。在我看来,一个理想的世界应该是这样的:AI技术被广泛而均衡地应用,随着时间推移逐步增强其健康性。在这样的世界里,各种系统能够相互制衡,这种平衡的状态比一个高度集中化的世界要健康得多。 虽然风险无处不在,但我觉得有一个风险我想人们我并没有听到太多人提及。 **Dwarkesh Patel**:举例来说,一个价值100亿美元的模型,如果经过评估是完全安全的,你们会选择开源吗? **Mark Zuckerberg**:我的答案是,只要这个模型对我们有所帮助,那我们就会开源。 **Dwarkesh Patel**: 那如果这个模型是用100亿美元的研发经费研发出来的,然后现在要开源呢? **Mark Zuckerberg**: 我们一直以来都有开源软件的传统,但是我们并不会开源我们的产品。 比如说,我们并不会将Instagram的代码开源,但我们会开源许多底层的基础设施。我们历史上最大的一个项目可能就是开放计算项目。在这个项目中,我们将我们所有的服务器的设计网络交换机和数据中心的设计开源了,这对我们来说非常有帮助。 因为很多人可以设计服务器,但现在,大家普遍都采用了我们的设计,这就意味着整个供应链都围绕我们的设计展开,规 模变大,对所有人来说都变得更便宜,为我们节省了数十亿美元。 这真是太棒了,对吧? 因此,我认为开源有多种方式可以对我们有所帮助。 一种就是,如果有人能够找出更便宜的运行模型的方法,我们将花费数十亿甚至上千亿美元,在所有这些模型上,所以如果我们能做的更有效率,那我们就可以节省数十亿甚至上百亿美元,这可能本身就非常有价值。 **Dwarkesh Patel**: 关于开源,我很想知道你是否认为像PyTorch、React、Open Compute这样的开源项目,对世界的影响是否已经超过了Meta在社交媒体方面的作用。 **Mark Zuckerberg**: 因为我曾经和使用这些服务的人交谈过,他们觉得这是有可能的,因为互联网的很大一部分都在运行这些项目。这是一个有趣的问题,我认为几乎有一半的世界人口都在使用我们的产品,这是一个真实的点,所以我觉得这很难超越。 但不管怎样,我还是认为开源是一种新的、非常強大的建设方式。 来源:

宝玉

74,721 görüntüleme • 2 yıl önce

为什么有的人总是可以遇到贵人? 我这两年有一个非常明显的感受,就是发现遇到的贵人概率越来越高了,以前会经常观察身边人这个现象,发现每个人遇到贵人的概率完全是不一样的,而且我觉得这件事儿是真的有方法论。 1.成为贵人,才能遇到贵人。只有自己是贵人,才能真正理解贵人说的话做的事情的原因,这样才能知道自己该如何做事情具备哪些品质才可以吸引贵人。 2.一定程度上这是个概率学,我们能做的就是提高概率发生,要知道哪些因素可以提高这件事发生的概率,比如同样一个人,环境、影响力、圈子质量不一样,结果完全不同。即使你有能力,但你就是在小地方,也没人知道你,你根本就没有展示自我价值的机会。 3.如果你是一个有能力、靠谱、有责任心、诚实、本分的人,再加上你去积累影响力,把自己的想法对外输出,这样知道你的人的数量会几何倍增,数量倍增了,即便同等概率下遇到贵人的数量也增加了,而且很可能会主动联系你。 4.要选择贵人容易扎堆的地方,贵人往往会在资源丰富、机会多的地方,如果你跳进这些地方,遇到贵人的概率就会大大增加,比如你从三线城市跳到一线城市、行业内更好的大平台公司。 5.贵人之所以愿意在你没有起势时帮助你,是因为他们看到了你身上具备成功的属性、有他之前的影子,有一天你可以成为他们或超越他们,你的这种潜能才是得到贵人的根本,他们帮助你也是在去验证自己的眼光,你未来的成功也是他们对自己信仰的验证过程。 6.记得在《繁花》中有这么一段,爷叔的一个回眸看到宝总穿着西装站在那里,他看着阿宝的眼神是有光的,就仿佛看到了年轻时的自己。

小人物

49,059 görüntüleme • 2 yıl önce

【日本生活】大龄码农赴日见闻-8:外国人办理日本银行卡攻略,开户! 💡銀行 人在国内时就得知日本的银行卡不好办,首先绝大多数的银行都对你已经在日本住了多长时间有要求,一般来讲是 6 个月,要么就得已经有非常流利的日语可以跟银行的工作人员 Battle 是否有银行卡是设立公司的先决条件,大部分情况下,没有银行卡的情况下,房东也不太愿意租房给你,所以 6 个月肯定是等不起好在有一家银行对一穷二白的外国人把门打开了一点点,他就是日本邮政储蓄银行(ゆうちょ銀行),他们是愿意在一定条件下给在留时间剩余 2 个月以上的人办理银行卡的 日本的邮便局是个庞大的企业,除了有银行业务以外,也有包括邮件、包裹、保险、证券等业务,日本人热衷于交换纸质信件,即便一个普通的市内文件都要 370 日元的快递费也在所不惜,街上遍布了各种看上去崭新的红色邮筒,起初我以为跟国内一样就是个摆设,直到我亲眼看见有邮递员大叔取件以后才敢自己去使用(这是后话了) 💡办卡 由于国内也有邮政银行,所以乍一听就会认为是差不多的风格,事实证明也确实是熟悉的味道。好不容易等到又一个休息日的结束,我们兴冲冲的跑去民宿楼下的某个自带人工窗口的邮所银行营业厅,与工作人员通过 Google Translate 一番尬聊过后,被告知一定要自己有流利的日语基础或者携带翻译,并且通过预约,才可以办理银行卡。 有一点百密一疏的感觉,因为这个似乎跟事先我查的攻略不太一样,以前查到的是说去邮所银行办卡的时候,当天会给一本存折,然后回家等邮寄银行卡。当提出这个观点以后,工作人员收下了我给他们看的开户证件,让我们去休息区等通知,并开始了来来回回忙碌的工作,正当我以为事情有了转机,是不是最后还是会帮我开户时,工作人员叫号了,一番人机尬聊后,得知如果不事先预约并且携带翻译,就不能给我们开户,但是我们可以下载邮所开户客户端,自己通过手机网络开户,并给我们打印了一本小册子,大概有2、30页,并且还是彩打,第一想法是:这一点儿都不环保啊。小册子的内容是图文并茂的 app 使用指南,基本上看上去就是把某个网页打印下来了,服务是好服务,但是效率不高,如果是国内的话,可能门口贴张纸,让你自己扫码下载 APP、看教程就完事儿了 自己通过手机 APP 开户,需要先下载口座开设客户端: 如果是 iPhone 的话需要注意的是,国区是没有这个客户端的,亲测日区和美区有。开户有一堆的表格要填,并且需要用手机 NFC 扫在留卡,以及需要摄像头权限进行人脸识别,可以选英语界面,所以整个过程相对而言还是比较友好的。只不过,信息填写一定要照搬去区役所登记的信息,特别是姓名、地址、电话一个字都不能跟登记的不一样,我在填写住址的时候,复制粘贴了 Google 地图上的地址,描述形式跟在留卡上的不同,过了 4 天以后,就收到了邮所银行从名古屋发来的邮件,告诉我地址错了。全部重填、重新申请以后,又过了 3 天,收到了审核通过的邮件。 从开始申请到最终收到卡,连周末在内,一共耗时十天,期间有自己地址填写的问题,否则的话感觉一周左右可以办下来。有趣的是,我老婆也一起申请了银行卡,并且大部分个人信息都是跟我一样复制粘贴进行的,中间没有收到任何驳回的邮件,跟我同一时间收到了银行卡。个人猜测银行办理业务都是按家庭为单位,觉得一家人同时申请的时候,只要有一个人信息正确就好? 总而言之,有了银行卡以后,很多手续都变得好办了许多,身上携带的现金也有了去处,不用每天出去玩的时候也负重前行了 目前为止,这张卡已经足够支撑所有想要办理的业务,比如租房时填写账号方便房东自动房租、役所登记银行账号方便扣保险以及儿童福利金发放、公司成立验资时的资金账户、学校自动交杂费(大阪号称公立教育从小学到大学全免费,可是还是要收取书本、旅游以及参加活动的材料等等费用,这个以后详细聊)时需要填写的用来扣款的银行账户等等场景 💡用卡 邮所的卡有几点限制: - 当一个人在日本居住时间不满半年,并且没有在日本的公司工作并产生收入时,这个人就会被定义为「非居住者」,此时这个人的银行卡,想要主动跟别人转账的话,每次会收取 3000 日元手续费; - 从海外向该银行账户转账时,会自动在代理结算银行换购美元,入帐后,自动转换为日元进入账户,期间手续费和汇率都是非常不友好的,并且,如果期间出现任何疑问,可能会有电话过来询问资金来源和用途,最终如果款项原路返回的话,损失自行承担; - 还有一些网上经常吐槽的缺点,由于相关的事项我还没有涉及,就暂时没有去关注。日本有一些比较大的银行,可以说是办理银行卡的版本答案,比如三井住友、三菱UFJ、瑞穗,基本上,都需要住满半年后,才有可能办下来,被拒的概率不能说全部,基本上绝大部分吧,有的人说自己一到日本就办理了三井住友银行卡,也许这就是传说中的人中龙凤吧 需要解决当前邮所银行卡不好用的问题,能做的只能是等待: - 在公司成立之后,由于自己就是社长,所以就算在日本企业工作的人,就可以破除「非居住者」的身份,一跃成为「普通用户」 - 居住六个月后,自动脱离「非居住者」身份,并且可以去尝试办理尊贵的三大行银行卡 总而言之,日本的银行卡都说不好办理,可是要办理也并非无迹可循,只要材料完备、按部就班,办卡基本上都是时间问题。 跟有的地方办卡要查祖宗十八代的信息,还要为「将要拿这张储蓄卡是为了要办什么事情」开具各种证明,忙前忙后只能拿到一张每日额度几百块的储蓄卡相比起来,还是要宽松不少。

Justin

19,544 görüntüleme • 2 yıl önce

这位台湾同胞外套丢了,第一反应竟是被偷了 首先这件外套说是1万元但是是台币约等于2192元 对于上海这个城市来说,这个价钱并没有很贵重 这位朋友有意无意通过视频试图抹黑大陆 结果却反转了,是别人拿错了衣服,并且通过警察主动还回来了 且不说普通人不一定能一眼知道衣服值多少钱 就是知道的情况下偷走能干嘛? 卖二手能值钱? 如果这件事情发生在我们自己身上第一反应绝对不会是觉得被偷了 而是会想是不是落在哪里了 当然这件事情很符合很多台湾对大陆的刻板印象: 什么吃不起榨菜,吃不起茶叶蛋等 归根结底还是网络不够开放 在一个处处宣传开放民主的地方反而网络却很封锁 如果我不是亲自去过台湾,我也以为台湾很繁华 实际上他们那里大多数地方的建筑依旧保持在几十年前的样子 酒店设施也是几十年前的那种,除了新台区101大楼那一块,很多地方都看起来旧旧的 当然这是跟他们当地的一些制度有关,这是不能怪他们的 我想表达的是:凡事一定要有自己的判断,不要人云亦云 有时候你听到的的不一定是真的,你看到的也不一定是真的 法国印象中是发达国家对吧? 但是在建筑这一块依旧是追不上国内 他们甚至还在沿用邮件这种古老的联系模式 这也不能说别人不好,他们的生活幸福指数依旧很高 他们可以悠闲的喝个咖啡一喝喝几个小时,你能吗?

🍭吃货不怕胖🐬TermMax

37,236 görüntüleme • 5 ay önce

最近陶哲轩在 2024 年第 65 届国际数学奥林匹克上,陶哲轩做了一次 AI 和数学的演讲,非常精彩,从数学使用计算计算机的历史开始讲起,一直讲到大语言模型,干货相当多,尤其适合对数学有兴趣的同学。 (对数学没那么感兴趣的同学只想看 AI 部分的建议直接跳到 41 分的位置开始观看) 先摘录几个冷知识: 1. 我们使用机器做数学计算已经有数千年,最早的机器辅助计算可能是罗马人,然后是中国的算盘 2. 二战时就有人肉“计算机”,计算弹道和其他任务,多位女孩子,因为男士们在打仗,所以那时候的计算基本单位不是GPU,而是kilogirl-hour——“千名女孩工作一小时的计算量” 3. 现在,数学家们使用一种现代化的证明辅助编程语言,叫做 Lean。在 Lean 中有一个核心的数学库,通过众包的方式开发的,本科数学课程中看到的内容,比如微积分基础、群论基础或者拓扑学等等,这些都已经被形式化了,所以你不用从公理开始。 4. 现在数学领域有一种团队协作证明复杂数学定理的工作流程,那就是先编写一个称为“蓝图”的详细证明计划,将整个证明分解为数百个小步骤。每个步骤可以单独形式化,然后再将它们整合在一起,这样你就可以将一个庞大的论证分解成许多小块。先编写这个蓝图,然后团队中的其他人可以对论据的不同步骤的不同部分进行形式化。 去年,陶哲轩和几位同事一起解决了一个组合数学问题。这是一个组合学的问题。大约20人在短短三周内完成了,使用了蓝图工具,参与的人中有概率论专家,甚至还有一些并非数学家的人,他们是程序员,但在解决这些小型拼图问题上非常擅长。每个人都挑选了一个觉得自己能做的小任务,并完成了它。 在数学领域,通常很难这么多人一起合作,一般最多可能五个人合作。因为在大项目上合作时,你必须相信每个人的数学都是正确的。但是,一旦超过一定规模,这就无法实现了。但现在借助 Lean 编译器,它能自动检查。团队成员无法上传任何编译不通过的内容,会被拒绝。因此,你可以与一些从未见过的人合作。 最后是讲大语言模型,首先陶哲轩就打脸了 GPT-4 的论文(我猜是微软那篇《GPT-4,通用人工智能的火花》),论文中号称 GPT-4 能解决国际数学奥林匹克问题,但实际上,这个问题不是 2022 年国际奥数竞赛的原始问题,而是一个简化版本,并且他们测试了几百道国际奥数竞赛问题,成功率只有1%,论文里的这个是精心挑选的恰巧能做对的。 并且陶哲轩提到了基于大语言模型的一些改进的方案: 比如 CoT(Chain of Thought),也就是 LLM 做简单的算术运算都做不对,但是如果让它一步步解释,可能就对了。还可以教 AI 一些解题技巧,比如尝试简单的例子,反证法,尝试逐步证明等。 比如让模型和编程语言或者工具连接,将大语言的输出结果交给 Wolfram 这样的专业数学工具或者 Python 这样的编程语言验证,并且迭代的进行修正和验证,直到得到正确的结果,这可以提升大语言模型生成的效果。 即使借助这些手段,大语言模型还远远不能解决大多数数学问题,更不用说数学研究问题了! 当然陶哲轩也没太过打击大家对于 AI 的信心,表示我们在 AI 上还是在不断的取得进展,还提到了他日常是怎么用 AI 的,比如说把 AI 当成灵感之源。 > 我曾遇到过一个问题,我尝试了几种方法,但都无法解决。于是,我尝试询问 GPT,你建议我使用什么其他方法来解决这个问题?GPT 给我提供了 10 种可能的方法,其中有 5 种我已经尝试过,或者明显没有帮助。的确,有几种方法并不实用。但其中有一种我还没尝试过的方法,那就是针对这个问题使用生成函数。当 GPT 建议我使用这种方法时,我意识到这就是我漏掉的正确方法。所以,将 GPT 视为一个交流伙伴,它确实具有一定的用处。 还有使用 GitHub Copilot 帮他写代码,让它自动生成下一步的证明结果,Copilot 的智能提示有 20% 的概率能生成正确的下一步结果。 > 例如我使用的一个叫 GitHub Copilot 的工具,你只需要写下一半的证明,它就会尝试猜测接下来的内容。大概有 20% 的情况下,它能猜到接近正确的答案。然后你就可以说,我接受这个答案。好的,那么在这种情况下,我正在试图证明这个陈述。灰色的部分是 Copilot 给出的建议。结果发现第一行完全没用。不过第二行,尽管你可能看不清楚,却真的解决了这个问题。所以,你不能盲目接受它的输入,因为这些代码未必能顺利编译。但如果你对代码的运作方式已经有所了解,这将大大节省你的时间。这些工具正在变得越来越好。现在如果一个证明只需要一两行,它们就能自动完成。现在已经有了这样的实验,即通过迭代地让 AI 提供证明,然后让编译器进行反馈,如果编译出错,就把错误信息反馈给 AI。通过这种方法,我们开始能够验证四五步长的证明。当然,一个大型的证明可能需要数万行。所以,我们还没有达到能够立即得到一个正式证明的程度。但是,这已经是一个相当有用的工具。 对于大家关心的问题: AI 在数学领域现在到了哪一个阶段?是否未来几年利用 AI 能直接解决数学问题? 陶哲轩也给出了他的看法: > 我认为我们还远远没有达到这个阶段。如果我们专注于非常特定的问题,你可以定制专门的 AI 来处理一小部分问题。即便如此,它们也不是完全可靠的,但还是有用的。不过至少在接下来的几年里,它们基本上将是非常有用的辅助工具,超越了我们已经熟悉的暴力计算辅助。 他还提到了一些可能的 AI 能在数学领域提供帮助的方向: - AI 能够非常好地生成有价值的猜想 > 比如,我们已经看到了关于结理论的例子,它们已经可以推测出两个不同的统计量之间的关系。因此,我们希望能够创建大量的数据集,输入到 AI 中,它们就会自动找出各种不同的数学对象之间的有趣联系。虽然我们还不知道如何做到这一点,部分原因是我们没有这些庞大的数据集。但我认为这是未来可能实现的一个方向。 - 批量或者说规模化的证明大量数学定理 > 现在,因为证明定理是如此繁琐和艰难的过程,我们一次只能证明一个定理,如果你效率很高,可能一次能证明两三个。但是有了 AI,你可以设想一下未来的情况,我们不是试图解决一个问题,而是处理一类类似的1000个问题,然后告诉AI,尝试用这个方法解决这 1000 个问题,然后报告结果,哦,我能用这种技术解决 35% 的问题。那么另一种技术呢?我能解决这个百分比的问题。或者如果结合这些方法,又能解决多少问题?你可以开始探索问题的空间,而不是一个接一个地解决问题。这是你现在根本无法做到的事情,或者是你需要几十年时间,通过数十篇论文慢慢搞清楚各种技术能做什么,不能做什么。但是有了这些工具,你真的可以开始做规模前所未有的数学研究。所以,未来将会非常令人兴奋。 演讲环节结束前的最后一句话说的特别好: > 我们仍然会以传统方式证明定理。事实上,我们必须这样做,因为如果我们自己都不知道如何做这些事情,就无法引导这些 AI。但是我们将能够做很多现在无法做到的事情。 这恰恰也是我们现在使用 AI 辅助编程的问题:如果我们自己都不知道如何构建软件,就很难引导好 AI 帮助我们生成高质量的代码。 尽管 AI 在数学和编程领域变得越来越有用,但人类的洞察力和创造力仍然是创作价值的关键。 原始 YT 视频:

宝玉

300,964 görüntüleme • 1 yıl önce

谷歌的TPU要干掉英伟达? 黄仁勋回应了。 大摩的报告很吓人,预测谷歌在2027-28年要卖出1200万片TPU。 这几乎是之前预测的两倍。 每卖50万片,谷歌就能增加130亿美元收入。 看起来英伟达要被狙击了。 但老黄的逻辑是什么? 他说,我们跟ASIC(专用芯片)斗了很久了。 谷歌的TPU就是一种ASIC。 是的,谷歌干得不错,但有个问题。 ASIC是“专才”,干一件事可以,但换个赛道就没用了。 而英伟达是“通才”。 它的CUDA架构,像一个开放的操作系统。 不仅能搞聊天机器人,还能做工业设计、药物研发、工程模拟。 这些市场,ASIC进不去。 这就是平台的力量。 就像苹果的App Store,开发者都来这里,生态就无敌了。 谷歌的TPU,更像一个服务于自家帝国的“御用作坊”。 而英伟达,无处不在。 所有云厂、所有服务器厂商、企业内部、边缘计算,都在用它。 这是一个开放的军火库,谁都可以来买武器。 谷歌的策略,本质上是想建立一个从芯片到应用全封闭的垂直帝国。 这种“自给自足”的模式,真的能打败一个开放的、网络效应巨大的平台吗? 历史上,封闭系统对抗开放生态,胜算几何? 英伟达卖的不是芯片,是进入AI时代的“船票”。 这张票,人人都可以买。 这可能才是它最大的护城河。

墓碑科技

163,399 görüntüleme • 7 ay önce

👺如何真正用Seedance2.0挣到钱? 肖师傅首个全Seedance商业作品《Horse进门》今天正式发布,作为首个变现的作品,我想我有权力来说说大家目前存在的一些误区: 1⃣ 技术平权造成的创收假象: 其实这一点我在一开始也深受困扰,大家看我前两天发布的文章,一股深深的绝望,因为我所引以为傲的技术、剪辑等等,突然就平权了,随便一个小孩,随便几句话,都可以超过我们精心制作的内容。但经过了2天的调整,我认定不能坐以待毙,于是主动出去抢客户,希望在被平权前拿到一些商业机会,但在这个过程中,我的客户给了我很大的鼓励,集中的核心就是:我们选择你,不是因为技术,技术只是加分,把过去你实拍做不到的变得更好,但并不代表,有这个武器的人就能替代你,我们喜欢的是你的创意和商业的结合,这并不是其他人可以代替的。这给了我很大的信心。 2⃣ 15秒不能代表150秒: 大家现在看到的几乎都是Seedance生成的15秒视频,在这个时间段里,它是无敌的,所以最可能被干掉的是15秒的短视频,但是如果跨度到了150秒呢?就像一个钢铁巨人,每一个零件都是坚固的,那么最薄弱的就是连接处的关节。150秒的视频就像这个巨人,而最脆弱的就是如何把15秒的视频完整统一的串联成一个故事或者一段情节。而这时候,专业的导演思维就可以很好的解决这个问题。 3⃣ 150秒不代表能变现: 那么是不是有经验的导演就可以制作出好的作品呢?我只能说会比普通人容易一些,但不是绝对,因为传统导演很容易陷入传统思维,但Seedance恰恰需要的是天马行空的创意。另外一点,即使你可以顺利的完成一部作品,但别忘记了,这是一个商业作品,不是你喜欢,很完整就可以的,太多时候需要平衡客户的想法,客户的意见,如何结合,就成了关键。 4⃣ 最大的障碍:修改 商业案例不同于自我high的作品,甲方会需要有修改容错的空间,比如我昨天在设计一个案例的时候,非常完美的一个镜头,但是甲方说,背后的某一个装饰物的比例不太对,和现场有差别,需要改掉。这个时候怎么办,再好的镜头也必须放弃。那么又如何保证在原来的基础上去做修正呢?这是一个最大的难题 👺总结一下: Seedance2.0 确实给我们这个行业带来很大的冲击,未来也一定会重塑行业的规则,我想对两类人提出建议: 1、职业选手:不要盲目担心,与其害怕不如主动出击,我们福建人信仰的就是“想要赢,先下场”,相信自己的专业找到那个缺口。 2、普通小白:一个很好的时代,一个很好的工具,但别只是玩,如果只是炫技或者玩乐,那么挣钱的就只有字节,去逼自己把积分变成钱,就算是炫技,也要把流量换算成钱,对比积分,你到底挣了没有。提升专业技巧,因为如果每个小白都可以做出来的,那么,只是提高了起跑线而已,对于你没有任何提升。 👺这个帖子很长,是我一字字打出来的,希望对你有所帮助。新年到来之际,就把这首《Horse进门》送给大家,希望在AI加持下,每个人都有机会财务自由!

肖师傅

28,106 görüntüleme • 5 ay önce