Video yükleniyor...

Video Yüklenemedi

Bu video yüklenirken bir sorun oluştu. Bu geçici bir ağ sorunundan kaynaklanıyor olabilir veya video kullanılamıyor olabilir.

Ana Sayfaya Dön

埃隆·马斯克断言：编码将在今年彻底死亡。不是“进化”。是死亡。到今年12月，AI 将不再需要任何编程语言。它直接吐出机器码——那种二进制优化程度，远超人类逻辑所能触及的极限，没有翻译层，没有编译步骤，只有纯粹的、赤裸的执行。马斯克原话：“你甚至都不用再费心去写代码。”代码从来就不是目的。它只是摩擦，是我们被迫支付的“人类税”——因为机器不懂人话。现在，AI 已经学会了流利的人类语言，这笔税，彻底取消了。再把这一切接入 Neuralink：没有语法，没有键盘，没有屏幕。马斯克：“从想象直接到软件。”一个念头，就能变成可执行代码。你脑海中浮现一个结果，系统瞬间为你架构、优化、编译成现实。我们不是在“自动化编程”。我们是在把编程这个概念从宇宙中抹除。整个职业瞬间坍塌成一个念头。几十年的训练、无数行代码、无数个通宵——瞬间变得毫无意义。从“idea”到“成品”的距离，归零。你不再“构建”。你只需“想象”，它就具现。这不是渐进式进步。这是彻底的相变。人类一万年来“创造”的方式，在这一刻过时了。欢迎来到新世界。在这里，限制你的不再是技能、资源、时间…… 而是你能不能足够清晰地“看见”你想要的东西——然后让机器把它生出来。我认为事情实际上可能会在今年年底之前就发生转变，到时候你甚至都不用再费心去写代码了。AI 会直接生成二进制代码，而且它生成的二进制会比任何现有编译器优化得更高效。所以你只需要说：“针对这个特定结果，生成最优化的二进制代码。”——这样就直接绕过了传统编码流程。没错，这其实只是一个中间步骤，但我估计到今年年底，这个步骤很可能就彻底不需要了。

🌹MIDNIGHT🌹ROSE🌹

39,937 subscribers

99,266 görüntüleme • 6 ay önce •via X (Twitter)

Haberler & Politika Bilim & Teknoloji

Anya Rossi• Live Now

Private livecam show

0 Yorum

Yorum bulunmuyor

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

Benzer Videolar

马斯克：程序员最快年底消失！ 1. 人类不再需要亲自写代码最快今年年底，AI会直接生成可运行的软件 2. 编译器被淘汰未来AI不只是写代码，而是直接造APP 3. 人类只负责提需求以后开发软件可能像许愿一样简单想象力变现的狂欢时代来了！

马斯克：程序员最快年底消失！ 1. 人类不再需要亲自写代码最快今年年底，AI会直接生成可运行的软件 2. 编译器被淘汰未来AI不只是写代码，而是直接造APP 3. 人类只负责提需求以后开发软件可能像许愿一样简单想象力变现的狂欢时代来了！

Annie 所长

14,336 görüntüleme • 2 ay önce

Linus Torvalds 发飙了。他在开源峰会上公开吐槽，每次听到有人吹嘘“现在 99% 的代码都是 AI 写的”，他就忍不住生气。为什么？因为按这个逻辑，这些家伙 100% 的代码其实都是“编译器”生成的。但他们怎么从来不这么说？其实是一个道理。老爷子在台上开始唠家常： “我是写机器码长大的。” 注意，不是汇编语言，是真正的数字。他到现在都记得，在 6502 芯片上，LDA 指令对应的十六进制是 A9。当年他花了好长时间才意识到，天天人肉算跳转偏移量，简直蠢透了。后来，人类发明了汇编器；再后来，有了编译器；现在，有了 AI。这些工具都很好用，AI 正在改变编程，但它绝没有改变编程的根本。至于 AI 带来的“效率神话”？ Linus 给出对比： “AI 很棒，它能把你的生产力提升 10 倍。” “但当年编译器的出现，把人类的生产力提升了 1000 倍！” 所以，这不过是又一次常规的工具演进。事情的本质从未改变：以前，优秀的开发者写出好代码，差劲的开发者写出 Bug。现在，懂系统的人能用 Prompt 调教 AI 写出好代码；而不懂系统复杂度的人，用 AI 攒出来的代码，最后一定会崩溃。现在科技圈很流行“氛围编码”（Vibe Coding）。就是用 AI 啪啪生成一个一次性项目，爽一把就扔。 Linus 说，这种玩具项目，AI 的确是神器。但如果你想做点严肃的东西，做一个需要长线维护 35 年的系统（比如 Linux）。你得懂你的 Prompt。你必须看懂 AI 吐出来的每一行代码，甚至去盯它最底层的汇编结果。祖师爷浇了盆冷水： AI 可以替你省去体力劳动。但如果你连它写了什么都看不懂，那你永远只是在制造一次性垃圾。

Linus Torvalds 发飙了。他在开源峰会上公开吐槽，每次听到有人吹嘘“现在 99% 的代码都是 AI 写的”，他就忍不住生气。为什么？因为按这个逻辑，这些家伙 100% 的代码其实都是“编译器”生成的。但他们怎么从来不这么说？其实是一个道理。老爷子在台上开始唠家常： “我是写机器码长大的。” 注意，不是汇编语言，是真正的数字。他到现在都记得，在 6502 芯片上，LDA 指令对应的十六进制是 A9。当年他花了好长时间才意识到，天天人肉算跳转偏移量，简直蠢透了。后来，人类发明了汇编器；再后来，有了编译器；现在，有了 AI。这些工具都很好用，AI 正在改变编程，但它绝没有改变编程的根本。至于 AI 带来的“效率神话”？ Linus 给出对比： “AI 很棒，它能把你的生产力提升 10 倍。” “但当年编译器的出现，把人类的生产力提升了 1000 倍！” 所以，这不过是又一次常规的工具演进。事情的本质从未改变：以前，优秀的开发者写出好代码，差劲的开发者写出 Bug。现在，懂系统的人能用 Prompt 调教 AI 写出好代码；而不懂系统复杂度的人，用 AI 攒出来的代码，最后一定会崩溃。现在科技圈很流行“氛围编码”（Vibe Coding）。就是用 AI 啪啪生成一个一次性项目，爽一把就扔。 Linus 说，这种玩具项目，AI 的确是神器。但如果你想做点严肃的东西，做一个需要长线维护 35 年的系统（比如 Linux）。你得懂你的 Prompt。你必须看懂 AI 吐出来的每一行代码，甚至去盯它最底层的汇编结果。祖师爷浇了盆冷水： AI 可以替你省去体力劳动。但如果你连它写了什么都看不懂，那你永远只是在制造一次性垃圾。

墓碑科技

67,887 görüntüleme • 1 ay önce

马斯克刚刚宣判了人类语言的死刑。并且给出了精确的死亡时间。他说，大脑费了九牛二虎之力，才把复杂的思想压缩成词语。语言不是沟通。它是失败的压缩。你有一个完整的想法。你把它硬塞进词语里。听的人只能收到一堆碎片，然后试着拼凑还原。所有重要的东西，都在这个翻译过程中消失了。我们其实并没有在交流。我们只是在猜测，并希望对方猜得八九不离十。马斯克说，有了脑机接口，沟通会变得极快，而且精准得多。 Neuralink不是为了改善沟通。它是要直接取代沟通。没有压缩。没有损耗。思想产生的同时，认知就被直接传递。不是描述一幅画。而是直接传递看到这幅画的体验。马斯克说：“你将不再需要说话。” 五到十年。大脑接口就会让说话成为一种可选项。说话，以后只用来表达情绪。至于传递信息？跟神经直连相比，说话将变成一种原始工具。一秒钟传递一生的记忆。一张完整的工程图纸瞬间传输。不是摘要。是整个思维结构，完整且未经压缩。这不是更好的沟通。这是物理极限下的心灵感应。这真的是全人类的福音吗？还是说，这将创造出两个完全无法沟通的物种？一种是接入了系统、与AI共生的“新人类”。另一种，就是坚持自然状态的普通人。那些不通过高带宽接口与AI融合的人，不仅是落后。他们对于那个新兴的关键智能体来说，将是无法理解的存在。就像我们今天看古人结绳记事一样。我们已经是半机器人了，只不过接口烂得可怜。手机通过打字来扩展认知，每分钟几个词。而带宽本应是每秒TB级。 Neuralink要引爆这个限制。五到十年。不是科幻小说。是部署窗口。从默认语言，到标配脑机链接。从把思想压缩成蹩脚的词语，到传输未经压缩的认知。从人类使用AI，到人类在沟通速度上与AI再无分别。依靠语言进化而存活的物种，正在用技术亲手终结它。那些没有完成转换的人，不仅仅是慢。他们的认知带宽会低到无法想象。对于周围以神经速度发生的一切，他们会变得形同“聋子”。语言服务了人类五万年。它的寿命，还剩下不到十年。之后，它就会变成远古的烽火狼烟。

马斯克刚刚宣判了人类语言的死刑。并且给出了精确的死亡时间。他说，大脑费了九牛二虎之力，才把复杂的思想压缩成词语。语言不是沟通。它是失败的压缩。你有一个完整的想法。你把它硬塞进词语里。听的人只能收到一堆碎片，然后试着拼凑还原。所有重要的东西，都在这个翻译过程中消失了。我们其实并没有在交流。我们只是在猜测，并希望对方猜得八九不离十。马斯克说，有了脑机接口，沟通会变得极快，而且精准得多。 Neuralink不是为了改善沟通。它是要直接取代沟通。没有压缩。没有损耗。思想产生的同时，认知就被直接传递。不是描述一幅画。而是直接传递看到这幅画的体验。马斯克说：“你将不再需要说话。” 五到十年。大脑接口就会让说话成为一种可选项。说话，以后只用来表达情绪。至于传递信息？跟神经直连相比，说话将变成一种原始工具。一秒钟传递一生的记忆。一张完整的工程图纸瞬间传输。不是摘要。是整个思维结构，完整且未经压缩。这不是更好的沟通。这是物理极限下的心灵感应。这真的是全人类的福音吗？还是说，这将创造出两个完全无法沟通的物种？一种是接入了系统、与AI共生的“新人类”。另一种，就是坚持自然状态的普通人。那些不通过高带宽接口与AI融合的人，不仅是落后。他们对于那个新兴的关键智能体来说，将是无法理解的存在。就像我们今天看古人结绳记事一样。我们已经是半机器人了，只不过接口烂得可怜。手机通过打字来扩展认知，每分钟几个词。而带宽本应是每秒TB级。 Neuralink要引爆这个限制。五到十年。不是科幻小说。是部署窗口。从默认语言，到标配脑机链接。从把思想压缩成蹩脚的词语，到传输未经压缩的认知。从人类使用AI，到人类在沟通速度上与AI再无分别。依靠语言进化而存活的物种，正在用技术亲手终结它。那些没有完成转换的人，不仅仅是慢。他们的认知带宽会低到无法想象。对于周围以神经速度发生的一切，他们会变得形同“聋子”。语言服务了人类五万年。它的寿命，还剩下不到十年。之后，它就会变成远古的烽火狼烟。

墓碑科技

184,917 görüntüleme • 5 ay önce

OpenAI刚刚开源的这个东西，感觉要把程序员的工作方式给整个改写了。现在大家都在卷模型写代码有多强，但其实真正的瓶颈早就不是生成了。一个人每天最多同时有效监督3-5个编码Agent，再多就会注意力崩溃，生产力直接归零。有了Symphony，直接把这个上限干到了几十个。它把你的Linear、GitHub Issues直接变成了永远在线的Agent调度器。你开一个任务，它自动启动一个独立隔离的Codex Agent。自己写代码，自己跑测试，自己做交叉Review，damn！全部搞定之后，会给你提交一个完整的证据包。 CI全绿，安全和性能专项审查通过，改了UI就自动录好操作视频。所有验证全过了，才会出现在你的Human Review队列里。以后人类的角色可能会被彻底颠覆了。以前你是监工，盯着Agent一步一步写代码，上下文切到吐。现在你是老板，只需要看最终的结果。满意就点合并，不满意就去仓库里补规则补文档补Guardrails。记住兄弟们，永远不要手把手指挥Agent，永远不要替它干活。这可不是啥实验室概念，OpenAI自己已经这么干了。三个工程师，五个月，写了一百万行代码，0行人工写的。产品已经有几百个内部用户，每天都在迭代。我觉得他们最厉害的不是模型，是他们把整个仓库变成了Agent能看懂能自主工作的乐园。现在很多人都搞错了Agent时代的核心竞争力。未来不是谁的模型更聪明，而是看谁能设计出让Agent可靠自主工作的环境。我觉得未来最好的工程师，再也不是写代码最快的人，而是那些最会写规则，最会设计反馈回路，最会给Agent搭舞台的人。现在Symphony已经开源了，它甚至不是一个成品。是一个17k token的完整SPEC。你把这个SPEC喂给任何一个编码Agent，十分钟就能生成你自己定制版的Symphony。 GitHub地址评论区自取👇

OpenAI刚刚开源的这个东西，感觉要把程序员的工作方式给整个改写了。现在大家都在卷模型写代码有多强，但其实真正的瓶颈早就不是生成了。一个人每天最多同时有效监督3-5个编码Agent，再多就会注意力崩溃，生产力直接归零。有了Symphony，直接把这个上限干到了几十个。它把你的Linear、GitHub Issues直接变成了永远在线的Agent调度器。你开一个任务，它自动启动一个独立隔离的Codex Agent。自己写代码，自己跑测试，自己做交叉Review，damn！全部搞定之后，会给你提交一个完整的证据包。 CI全绿，安全和性能专项审查通过，改了UI就自动录好操作视频。所有验证全过了，才会出现在你的Human Review队列里。以后人类的角色可能会被彻底颠覆了。以前你是监工，盯着Agent一步一步写代码，上下文切到吐。现在你是老板，只需要看最终的结果。满意就点合并，不满意就去仓库里补规则补文档补Guardrails。记住兄弟们，永远不要手把手指挥Agent，永远不要替它干活。这可不是啥实验室概念，OpenAI自己已经这么干了。三个工程师，五个月，写了一百万行代码，0行人工写的。产品已经有几百个内部用户，每天都在迭代。我觉得他们最厉害的不是模型，是他们把整个仓库变成了Agent能看懂能自主工作的乐园。现在很多人都搞错了Agent时代的核心竞争力。未来不是谁的模型更聪明，而是看谁能设计出让Agent可靠自主工作的环境。我觉得未来最好的工程师，再也不是写代码最快的人，而是那些最会写规则，最会设计反馈回路，最会给Agent搭舞台的人。现在Symphony已经开源了，它甚至不是一个成品。是一个17k token的完整SPEC。你把这个SPEC喂给任何一个编码Agent，十分钟就能生成你自己定制版的Symphony。 GitHub地址评论区自取👇

AYi

63,210 görüntüleme • 3 ay önce

AI淘汰程序员？想多了。硅谷投资大佬Marc Andreessen点破了一个真相。 AI编程不会消灭程序员，它在重新定义这个职业。程序员的工作不再是逐行敲代码。现在的工作，是同时指挥10个AI编码机器人。跟它们争论，调试它们的输出，修改需求，逼它们拿出正确结果。但这里有个圈套。如果你自己不懂怎么写代码，你根本无法判断AI给你的东西是对是错。编程的下一个层次，不是写脚本。是监督写脚本的AI。今天最顶尖的程序员，整天在不同终端之间切换。管理多个编码机器人，修复错误，优化指令。讽刺吗？你仍然需要极其扎实的基本功。没有基本功，你连AI在犯傻都看不出来。工作的本质变了。现在是跟AI机器人辩论，调试AI生成的代码，理解为什么程序跑不起来，或者为什么不够快。 AI确实简化了工作。但只有真正懂代码的人，才能判断这种简化是否正确。程序员不会消失。他们正在变得比以前强大10倍、100倍，甚至1000倍。生产力的巨大提升，这才是真正的价值所在。任务在变，工作性质在变。但最终负责的，永远是人。人类依然在监督过程，评估结果，纠正错误，并做出最终判断。未来的程序员不是被AI取代。他们被AI升级了。所以，还是得老老实实学习怎么写代码，理解代码。因为当AI搞砸的时候，只有人知道为什么。这种能力的跃升，才是真正的革命。

AI淘汰程序员？想多了。硅谷投资大佬Marc Andreessen点破了一个真相。 AI编程不会消灭程序员，它在重新定义这个职业。程序员的工作不再是逐行敲代码。现在的工作，是同时指挥10个AI编码机器人。跟它们争论，调试它们的输出，修改需求，逼它们拿出正确结果。但这里有个圈套。如果你自己不懂怎么写代码，你根本无法判断AI给你的东西是对是错。编程的下一个层次，不是写脚本。是监督写脚本的AI。今天最顶尖的程序员，整天在不同终端之间切换。管理多个编码机器人，修复错误，优化指令。讽刺吗？你仍然需要极其扎实的基本功。没有基本功，你连AI在犯傻都看不出来。工作的本质变了。现在是跟AI机器人辩论，调试AI生成的代码，理解为什么程序跑不起来，或者为什么不够快。 AI确实简化了工作。但只有真正懂代码的人，才能判断这种简化是否正确。程序员不会消失。他们正在变得比以前强大10倍、100倍，甚至1000倍。生产力的巨大提升，这才是真正的价值所在。任务在变，工作性质在变。但最终负责的，永远是人。人类依然在监督过程，评估结果，纠正错误，并做出最终判断。未来的程序员不是被AI取代。他们被AI升级了。所以，还是得老老实实学习怎么写代码，理解代码。因为当AI搞砸的时候，只有人知道为什么。这种能力的跃升，才是真正的革命。

墓碑科技

58,922 görüntüleme • 6 ay önce

马斯克根本不做手机。他要直接跳过这个概念。我们口袋里的东西，将不再是手机。它会变成一个超薄的AI边缘节点。一个屏幕，加上无线电，实时连接Grok/xAI服务器处理一切。什么意思？未来没有操作系统，也没有App。你看到的一切，都是AI根据你的需求实时生成和推送的。邮件、社交、新闻，所有信息都通过一个统一的AI入口。马斯克预测，五六年内就会发生。这确实是对苹果和谷歌这些平台巨头的釜底抽薪。绕开应用商店，打破它们的生态垄断，听起来很解气。但这里有一个更深层的问题。当所有App消失，信息入口被一个超级AI统一时，谁来控制这个AI？如果这个AI决定了你能看到什么、不能看到什么，这会不会成为一种新的、更彻底的审查？它能不能在无形中塑造你的思想？一个中心化的AI，与一个去中心化的、由无数开发者构建的App世界，哪个对个人自由更有利？这个技术蓝图，到底是通往更高效的未来，还是在不经意间，为某种数字集权铺平了道路？值得每个人思考。

马斯克根本不做手机。他要直接跳过这个概念。我们口袋里的东西，将不再是手机。它会变成一个超薄的AI边缘节点。一个屏幕，加上无线电，实时连接Grok/xAI服务器处理一切。什么意思？未来没有操作系统，也没有App。你看到的一切，都是AI根据你的需求实时生成和推送的。邮件、社交、新闻，所有信息都通过一个统一的AI入口。马斯克预测，五六年内就会发生。这确实是对苹果和谷歌这些平台巨头的釜底抽薪。绕开应用商店，打破它们的生态垄断，听起来很解气。但这里有一个更深层的问题。当所有App消失，信息入口被一个超级AI统一时，谁来控制这个AI？如果这个AI决定了你能看到什么、不能看到什么，这会不会成为一种新的、更彻底的审查？它能不能在无形中塑造你的思想？一个中心化的AI，与一个去中心化的、由无数开发者构建的App世界，哪个对个人自由更有利？这个技术蓝图，到底是通往更高效的未来，还是在不经意间，为某种数字集权铺平了道路？值得每个人思考。

墓碑科技

68,774 görüntüleme • 8 ay önce

今天流行一个视频：在一个分享会中一个程序员说ai写的程序不进行审查就随便上线是不负责任的，而且是没办法用的结果台上女生开口就是情绪：“你意思是我们这些没学过编程的文科生都不配写代码咯？在坐所有没学过编程的都不配写代码咯？” 代码写的好不好不知道，情绪和道德绑架玩的那叫一个炉火纯青，我他妈说什么也想到不到这人嘴里会蹦出那么几句话都是人，差别怎么就他妈那么大呢图二里gemini说的话含金量还在增加

今天流行一个视频：在一个分享会中一个程序员说ai写的程序不进行审查就随便上线是不负责任的，而且是没办法用的结果台上女生开口就是情绪：“你意思是我们这些没学过编程的文科生都不配写代码咯？在坐所有没学过编程的都不配写代码咯？” 代码写的好不好不知道，情绪和道德绑架玩的那叫一个炉火纯青，我他妈说什么也想到不到这人嘴里会蹦出那么几句话都是人，差别怎么就他妈那么大呢图二里gemini说的话含金量还在增加

大喵CS、转码、预科班(十年讲师，能够教你学会编程)

291,649 görüntüleme • 3 ay önce

AI亿万富翁CEO表示，在脑机接口准备就绪之前，他不想生孩子。他说：“我想等到我们弄清楚 Neuralink 或其他——它被称为脑机接口。所以大脑与其他方式与计算机互联，直到它们开始工作。 “因为有几个原因。首先，在你生命的前七年左右，你的大脑比任何其他时期都更具神经可塑性。所以如果你要获得这些其他技术，那些出生时就带有它们的孩子将以疯狂、疯狂的方式学习如何使用它们。就像它实际上会成为他们大脑的一部分，这种方式对一个成年人在大脑中植入 Neuralink 或其他东西来说永远不会是真的。人类只以一定的速度进化。人类会随着时间变得更聪明。只是这是在数百万年的时间尺度上，因为自然选择和进化真的很慢。所以如果你把这个向前推演，你必须有 AI 继续变得更聪明，继续改进——就像它们会真的很快继续改进。而且你知道，生物学只会以那么快的速度改进。我们在某个点上需要的是最终自己接入 AI 的能力。我认为我们将需要一些互联或连接，让我们的大脑直接连接到 AI、在互联网中，所有这些东西。” “而且它——它可能很危险，而且可能，你知道，正如你所说，可怕和吓人。但我们只是必须去做。就像 AI 将像这样发展，人类将以慢得多的速度改进。我们将需要接入那种能力。”

AI亿万富翁CEO表示，在脑机接口准备就绪之前，他不想生孩子。他说：“我想等到我们弄清楚 Neuralink 或其他——它被称为脑机接口。所以大脑与其他方式与计算机互联，直到它们开始工作。 “因为有几个原因。首先，在你生命的前七年左右，你的大脑比任何其他时期都更具神经可塑性。所以如果你要获得这些其他技术，那些出生时就带有它们的孩子将以疯狂、疯狂的方式学习如何使用它们。就像它实际上会成为他们大脑的一部分，这种方式对一个成年人在大脑中植入 Neuralink 或其他东西来说永远不会是真的。人类只以一定的速度进化。人类会随着时间变得更聪明。只是这是在数百万年的时间尺度上，因为自然选择和进化真的很慢。所以如果你把这个向前推演，你必须有 AI 继续变得更聪明，继续改进——就像它们会真的很快继续改进。而且你知道，生物学只会以那么快的速度改进。我们在某个点上需要的是最终自己接入 AI 的能力。我认为我们将需要一些互联或连接，让我们的大脑直接连接到 AI、在互联网中，所有这些东西。” “而且它——它可能很危险，而且可能，你知道，正如你所说，可怕和吓人。但我们只是必须去做。就像 AI 将像这样发展，人类将以慢得多的速度改进。我们将需要接入那种能力。”

KK.aWSB

47,549 görüntüleme • 7 ay önce

英伟达Nvidia黄仁勋： AI，让平凡的人不再平凡。一个年轻人加上AI，就是全新的“超级个体”。不拼资历，不靠背景，AI成了这个时代最大的“能力放大器”。它不是替你工作，而是教你变强，像导师、像助手，甚至像一整个研究团队。以前，成为专家要花十年，现在，用AI做研究，年轻人正在用几年甚至几个月的速度追赶。程序员用它写代码、调试逻辑；研究员用它读文献、生成模型；医生用它分析病例、辅助诊断。几乎所有专业的人才，搭上AI这台引擎，都跑得更快。哪怕是在偏远小镇的医生，或是发展中国家的工程师，手里只要有AI，就能站上世界一线的能力标准。但这，也压力山大。对那些在某个领域苦练二十年的人来说，现在，刚入行的新人搭上AI，可能一年就追平你辛苦十年的经验积累。 AI不是取代你，而是逼你进化。越早拥抱它，你越可能成为被放大的那一个。

英伟达Nvidia黄仁勋： AI，让平凡的人不再平凡。一个年轻人加上AI，就是全新的“超级个体”。不拼资历，不靠背景，AI成了这个时代最大的“能力放大器”。它不是替你工作，而是教你变强，像导师、像助手，甚至像一整个研究团队。以前，成为专家要花十年，现在，用AI做研究，年轻人正在用几年甚至几个月的速度追赶。程序员用它写代码、调试逻辑；研究员用它读文献、生成模型；医生用它分析病例、辅助诊断。几乎所有专业的人才，搭上AI这台引擎，都跑得更快。哪怕是在偏远小镇的医生，或是发展中国家的工程师，手里只要有AI，就能站上世界一线的能力标准。但这，也压力山大。对那些在某个领域苦练二十年的人来说，现在，刚入行的新人搭上AI，可能一年就追平你辛苦十年的经验积累。 AI不是取代你，而是逼你进化。越早拥抱它，你越可能成为被放大的那一个。

墓碑科技

12,575 görüntüleme • 1 yıl önce

【马斯克：医学的未来将是数字化的，合成RNA可以治愈几乎一切疾病】 🤔我想听听基督徒们的看法马斯克说，过去我们发现药物的方式，就像在森林里随手捡树枝——"这根好像能当棍子用"。👉相当原始，基本靠偶然。现在不一样了。如今我们已经能够定制合成RNA。这意味着医学正在从"模拟时代"进入"数字时代"——不再是碰运气找药，而是像写代码一样，直接编程人体。他的结论： "只要你知道如何编程那段合成RNA，你基本上可以治愈几乎任何疾病。" 医学即将成为软件。身体即将成为可编程的系统。

【马斯克：医学的未来将是数字化的，合成RNA可以治愈几乎一切疾病】 🤔我想听听基督徒们的看法马斯克说，过去我们发现药物的方式，就像在森林里随手捡树枝——"这根好像能当棍子用"。👉相当原始，基本靠偶然。现在不一样了。如今我们已经能够定制合成RNA。这意味着医学正在从"模拟时代"进入"数字时代"——不再是碰运气找药，而是像写代码一样，直接编程人体。他的结论： "只要你知道如何编程那段合成RNA，你基本上可以治愈几乎任何疾病。" 医学即将成为软件。身体即将成为可编程的系统。

肌肉猫Elva🐱musclecat

15,332 görüntüleme • 2 ay önce

的人提了一个思路：用 AI 写代码之后，人应该审计划，不应该审代码。他的类比很准。写 C 语言的时候没人去检查编译器输出的汇编对不对，因为你信任编译器。AI 写代码也应该一样——你把精力花在计划对不对上，计划没问题就让它去生成。问题是 Claude Code 的计划是一大坨 Markdown，在终端里看得人眼花。他做了个 /visual-plan 技能，让 AI 用 MDX 组件输出计划：线框图、API 结构图、Schema 变更，都是可视化的，能拖能缩放。代码写完之后还有 /visual-recap，生成一份可视化变更总结。产品经理和设计师不用看代码 diff 也能看懂 AI 改了什么。

的人提了一个思路：用 AI 写代码之后，人应该审计划，不应该审代码。他的类比很准。写 C 语言的时候没人去检查编译器输出的汇编对不对，因为你信任编译器。AI 写代码也应该一样——你把精力花在计划对不对上，计划没问题就让它去生成。问题是 Claude Code 的计划是一大坨 Markdown，在终端里看得人眼花。他做了个 /visual-plan 技能，让 AI 用 MDX 组件输出计划：线框图、API 结构图、Schema 变更，都是可视化的，能拖能缩放。代码写完之后还有 /visual-recap，生成一份可视化变更总结。产品经理和设计师不用看代码 diff 也能看懂 AI 改了什么。

Vincent

12,896 görüntüleme • 1 ay önce

朋友们，又出猛料了。马斯克呢，刚刚开了一场 XAI 内部全员大会。本来啊，是个闭门会议，结果全程视频直接流了出来，在网上彻底炸了。因为马斯克把 XAI 接下的核心战略，全盘抖了出来。 AI 已经在自己教自己写代码，4,000 万程序员可能面临失业；他还要在月球上去建工厂，造 AI 卫星；甚至他已经在内测一个野心大到吓人的金融平台，叫 Xmoney。每一条单拿出来，都能震翻一个行业。我刚看完最新的视频，和你分享几个重点。首先，全球 4,000 万程序员可能失业。马斯克上台第一句话就让全场安静。他说，当前一代的 Golang code，正在训练下一代的 Golang code。我们正处于指数级起飞的阶段。你听懂这句话的恐怖之处了吗？ AI 不是在帮人写代码了，AI 在自己教自己怎么写代码，会用更好的代码，再交出更强的自己。这个叫递归，自我改进。然后马斯克继续补了一刀。他说，等到今年年底，你甚至就不需要写代码了，AI 会直接生成优化后的二进制文件，比任何编译器都更高效。我们知道，编程语言要运行，最终呢，都需要转化成 0 和 1 的二进制代码。而未来 AI 直接就写 0 和 1，敲代码这个中间环节直接消掉。写代码这件事，可能真的正在走进历史。如果你不信啊，马斯克还有第二招，叫 microhard，就是数字员工模拟器。什么意思呢？就是 AI 能够去看懂屏幕，并且模拟人类的全部鼠标，还有键盘的操作。现在很多白领干的活，本质上就是在电脑上敲键盘。那如果 AI 也能敲键盘了呢？这就是 microhard 巨印想要干的事儿。马斯克亲口定义了巨印的目标：给每家公司，配一支永远不下班的数字员工团队。他说啊，这个项目将带来一个我们几乎无法想象的繁荣时代。可是你换个角度想，如果巨印真的跑通了，未来一个人加上 AI，就能干 1,000 个人的活，那人要怎么办？答案呢，就是 Xmoney。马斯克等了 26 年的金融野心，终于要兑现了。这也是他首次透露这个项目。马斯克说啊，这个 Xmoney 已经在公司里内部测试，之后就会全球上线。那什么是 Xmoney 呢？最简单理解，就是银行 + 支付宝 + 证券账户 + 加密货币，全部都合在一起。你可以用它转账和付款，这是支付宝；你还可以用它存钱借贷，这是银行；你还可以用它买股票，这是券商；你也可以买比特币，这是加密交易所的功能。马斯克的原话是： Xmoney 要成为所有钱的归属地，所有交易的中心枢纽。关注我的朋友都知道啊，马斯克在很多场合都说过，AI 和机器人最终会取代大部分工作。未来，每个人可能都需要一份全民基本收入，才能活下去。那问题来了，这笔钱通过什么渠道发出来呢？我们来看下他手里的牌： XAI 负责干脑力活，特斯拉的机器人负责干体力活，而 Xmoney 成为所有钱的归属地。听听这个闭环，是不是严丝合缝？所以我个人推测，如果未来要发全民基本收入，那很可能就是用 Xmoney 了。最后一个重点，也是整场会议最让人热血沸腾的部分。 SpaceX 已经向美国联邦通信委员会 FCC 提交了申请，要发射 100 万颗 AI 卫星。你没有听错哈，是 100 万颗。马斯克解释了原因：地球的能源啊，根本不够 AI 用，唯一的方法就是离开地球。所以 XAI 的路线图是这样子的。第一步，用 SpaceX 火箭把 AI 数据中心送入轨道，每年部署 100–200 吉瓦的算力。第二步，在月球上建工厂造 AI 卫星，然后用电磁轨道炮，不需要火箭燃料，直接把卫星弹射进太空。这可以让每年的算力部署规模突破 1,000 吉瓦。马斯克说到这的时候啊，眼里都是光： i really wanna see the master driver on the moon, that is uh shooting AI satellites into deep space, i can't imagine anything more Epic. 从 AI 自我进化，到数字化员工，再到重塑全球金融和把算力送上月球。马斯克在这场会议里讲到的，已经不是一家普通的 AI 公司的规划了。我们每个人，都在见证历史。

朋友们，又出猛料了。马斯克呢，刚刚开了一场 XAI 内部全员大会。本来啊，是个闭门会议，结果全程视频直接流了出来，在网上彻底炸了。因为马斯克把 XAI 接下的核心战略，全盘抖了出来。 AI 已经在自己教自己写代码，4,000 万程序员可能面临失业；他还要在月球上去建工厂，造 AI 卫星；甚至他已经在内测一个野心大到吓人的金融平台，叫 Xmoney。每一条单拿出来，都能震翻一个行业。我刚看完最新的视频，和你分享几个重点。首先，全球 4,000 万程序员可能失业。马斯克上台第一句话就让全场安静。他说，当前一代的 Golang code，正在训练下一代的 Golang code。我们正处于指数级起飞的阶段。你听懂这句话的恐怖之处了吗？ AI 不是在帮人写代码了，AI 在自己教自己怎么写代码，会用更好的代码，再交出更强的自己。这个叫递归，自我改进。然后马斯克继续补了一刀。他说，等到今年年底，你甚至就不需要写代码了，AI 会直接生成优化后的二进制文件，比任何编译器都更高效。我们知道，编程语言要运行，最终呢，都需要转化成 0 和 1 的二进制代码。而未来 AI 直接就写 0 和 1，敲代码这个中间环节直接消掉。写代码这件事，可能真的正在走进历史。如果你不信啊，马斯克还有第二招，叫 microhard，就是数字员工模拟器。什么意思呢？就是 AI 能够去看懂屏幕，并且模拟人类的全部鼠标，还有键盘的操作。现在很多白领干的活，本质上就是在电脑上敲键盘。那如果 AI 也能敲键盘了呢？这就是 microhard 巨印想要干的事儿。马斯克亲口定义了巨印的目标：给每家公司，配一支永远不下班的数字员工团队。他说啊，这个项目将带来一个我们几乎无法想象的繁荣时代。可是你换个角度想，如果巨印真的跑通了，未来一个人加上 AI，就能干 1,000 个人的活，那人要怎么办？答案呢，就是 Xmoney。马斯克等了 26 年的金融野心，终于要兑现了。这也是他首次透露这个项目。马斯克说啊，这个 Xmoney 已经在公司里内部测试，之后就会全球上线。那什么是 Xmoney 呢？最简单理解，就是银行 + 支付宝 + 证券账户 + 加密货币，全部都合在一起。你可以用它转账和付款，这是支付宝；你还可以用它存钱借贷，这是银行；你还可以用它买股票，这是券商；你也可以买比特币，这是加密交易所的功能。马斯克的原话是： Xmoney 要成为所有钱的归属地，所有交易的中心枢纽。关注我的朋友都知道啊，马斯克在很多场合都说过，AI 和机器人最终会取代大部分工作。未来，每个人可能都需要一份全民基本收入，才能活下去。那问题来了，这笔钱通过什么渠道发出来呢？我们来看下他手里的牌： XAI 负责干脑力活，特斯拉的机器人负责干体力活，而 Xmoney 成为所有钱的归属地。听听这个闭环，是不是严丝合缝？所以我个人推测，如果未来要发全民基本收入，那很可能就是用 Xmoney 了。最后一个重点，也是整场会议最让人热血沸腾的部分。 SpaceX 已经向美国联邦通信委员会 FCC 提交了申请，要发射 100 万颗 AI 卫星。你没有听错哈，是 100 万颗。马斯克解释了原因：地球的能源啊，根本不够 AI 用，唯一的方法就是离开地球。所以 XAI 的路线图是这样子的。第一步，用 SpaceX 火箭把 AI 数据中心送入轨道，每年部署 100–200 吉瓦的算力。第二步，在月球上建工厂造 AI 卫星，然后用电磁轨道炮，不需要火箭燃料，直接把卫星弹射进太空。这可以让每年的算力部署规模突破 1,000 吉瓦。马斯克说到这的时候啊，眼里都是光： i really wanna see the master driver on the moon, that is uh shooting AI satellites into deep space, i can't imagine anything more Epic. 从 AI 自我进化，到数字化员工，再到重塑全球金融和把算力送上月球。马斯克在这场会议里讲到的，已经不是一家普通的 AI 公司的规划了。我们每个人，都在见证历史。

另一面

418,608 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 视频：

最近陶哲轩在 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 视频：

宝玉

301,570 görüntüleme • 1 yıl önce

给老百姓手里的钱加一个倒计时。时间一到，不花出去直接作废。美国外交关系协会（CFR）把中共数字人民币的底层逻辑彻底扒开了。核心只有三个字：可编程。这套系统会瞬间绑定个人的三大底层数据。你的真实身份，你的地理行动轨迹，以及你的社会信用评分。每一次扫码支付，后台都在做全景式核验。真正管用的是嵌套在里面的智能合约。为了刺激消费，政府可以直接在你的钱包里写入一个到期日。保质期一到，数字货币自动清零。哪怕不买东西，你也必须把钱花出去。你想勒紧裤腰带存钱防身。代码同样能治你。系统可以设定，持有资金超过 10 年，立刻触发负收益率。储蓄不再是安全感，反而会变成系统定向收割的惩罚对象。专家在台上管这叫“更有效的财政刺激”。而在现实运转中，这种被写死在代码里的钱，已经不再是私人财富。它是带着脚镣的电子粮票。

给老百姓手里的钱加一个倒计时。时间一到，不花出去直接作废。美国外交关系协会（CFR）把中共数字人民币的底层逻辑彻底扒开了。核心只有三个字：可编程。这套系统会瞬间绑定个人的三大底层数据。你的真实身份，你的地理行动轨迹，以及你的社会信用评分。每一次扫码支付，后台都在做全景式核验。真正管用的是嵌套在里面的智能合约。为了刺激消费，政府可以直接在你的钱包里写入一个到期日。保质期一到，数字货币自动清零。哪怕不买东西，你也必须把钱花出去。你想勒紧裤腰带存钱防身。代码同样能治你。系统可以设定，持有资金超过 10 年，立刻触发负收益率。储蓄不再是安全感，反而会变成系统定向收割的惩罚对象。专家在台上管这叫“更有效的财政刺激”。而在现实运转中，这种被写死在代码里的钱，已经不再是私人财富。它是带着脚镣的电子粮票。

墓碑科技

12,788 görüntüleme • 2 ay önce

千万别盲目在公司做“AI赋能雷锋”！一个月薪 3 万 8 的程序员，被裁了。最讽刺的是：不是因为他技术差，而是因为他太会用 AI 了。去年下半年，他开始用 Claude Code 写代码，交付效率直接拉满。老板一看：你这么会用 AI，那你能不能带带团队？于是他花了 3 个月，把团队都教会了 Claude Code。结果团队效率翻倍，公司发现：以前需要他兜底的事，现在其他人也能干了。上周，老板找他谈话： “你工资太高了，公司承受不了。” 他把 AI 能力扩散给了团队，最后却把自己干掉了。这件事最扎心的地方在于：未来最危险的程序员，可能不是不会用 AI 的人，而是只会把 AI 用在“写代码”上的人。因为写代码正在变便宜。真正值钱的是：懂业务、能拆需求、能设计流程、能把业务翻译成 AI 能执行的系统。未来最吃香的工程师，不是单纯的代码高手，而是懂业务的技术架构师。 AI 淘汰不了所有的程序员，但是肯定可以淘汰“只会写代码的工具人”。顺便问大家一个扎心的问题：你敢在公司毫无保留地教同事用 AI 吗？你觉得程序员真正的“护城河”到底是什么？ #裁员 #ClaudeCode

千万别盲目在公司做“AI赋能雷锋”！一个月薪 3 万 8 的程序员，被裁了。最讽刺的是：不是因为他技术差，而是因为他太会用 AI 了。去年下半年，他开始用 Claude Code 写代码，交付效率直接拉满。老板一看：你这么会用 AI，那你能不能带带团队？于是他花了 3 个月，把团队都教会了 Claude Code。结果团队效率翻倍，公司发现：以前需要他兜底的事，现在其他人也能干了。上周，老板找他谈话： “你工资太高了，公司承受不了。” 他把 AI 能力扩散给了团队，最后却把自己干掉了。这件事最扎心的地方在于：未来最危险的程序员，可能不是不会用 AI 的人，而是只会把 AI 用在“写代码”上的人。因为写代码正在变便宜。真正值钱的是：懂业务、能拆需求、能设计流程、能把业务翻译成 AI 能执行的系统。未来最吃香的工程师，不是单纯的代码高手，而是懂业务的技术架构师。 AI 淘汰不了所有的程序员，但是肯定可以淘汰“只会写代码的工具人”。顺便问大家一个扎心的问题：你敢在公司毫无保留地教同事用 AI 吗？你觉得程序员真正的“护城河”到底是什么？ #裁员 #ClaudeCode

前端哥Liam

61,104 görüntüleme • 2 ay önce

张雪峰早在今年就被拒绝参加3月22日的无锡马拉松，拒绝的原因，心脏体检不合格，而且这不是第一次，在这之前，其实已经有过多次预警，用我们道家的话讲、任何事情，只要有迹象阻止你，频繁的出现了波折，这个时候你要暂停了，凡是辛苦，皆为强求。真正属于你的人事物，都不会让你太吃力，不顺利本身就是信号，一直看我的文章的粉丝总以为我讲的这些东西很玄，这些东西都是道家几千年来，老祖宗一代一代传下来的东西，只不过很多东西，以前不轻传，也不是谁都能随便听到，放在过去，有些话你就是捧着钱，都未必有人愿意讲给你听，而我都是把这些东西放到全网上公开讲，你能看到，能刷到，能听进去，本身就已经是你的福报当一件事情开始频繁出现阻力，而且这种阻力不是一次，而是反复出现的时候，你就该停了，第二种情况来的比较急，必须要重视，就是一件事突然催得很急，急到不给你思考的时间，急到非要你马上做决定，只想把你立刻推进去的事情，你都该先停下来，好好审视一下，这种情况大多数都是流年要开始引动那个神煞了，因为很多祸，都是发生在你太急、太赶、来不及细想的时候，真正的因果，不是事情发生了，你才看见它，你看到的只是那个果，真正的因你不看八字你根本看不到，''因''早已经注定，而''果''只是到了那个流年,外部的事情再一步一步过来配合, 也就是说，很多人以为是因为某一件具体的事才出事，其实不是, 那件事，只是神煞引动的媒介, 就拿张这个事情来说，很多人会把问题归到长时间跑步上，也有人会归到心脏上, 但在我们道家的体系里，长时间跑步不是根本原因，心脏出问题也不是根本原因。它们都只是“果”落下来之前，最先被拿来下手的那个点，因为当流年神煞开始被引动的时候，神煞最先看的，往往都是人的身体，如果你身体本身就有问题，它就先从身体这里下手，如果身体没问题，那它也不会就此停住，而是会转过去引动别的东西。比如突然有人催着你出门，催着你立刻去做另外一件事，催得你来不及细想，来不及停，来不及判断，而催着你去做的这件事，它只是在配合那个早就埋下的因，所以你要明白一件事，即便他心脏没问题，也一样会有别的事情来引动，因为人的定数不是临时出现的，而是在出生那一刻，很多东西就已经随着命盘一起写进去了，只不过有的人，是从身体上应，有的人，是从意外上应，有的人，则是从人事催逼上应，形式不一样，但背后的逻辑是一样的，具体要看原局八字，不同的神煞对应不同的事情，所以真正的问题，不在于长时间跑步这个动作本身，更不在于表面看到的那个心脏问题，真正的问题在于，那个因，在他出生的时候，就已经埋下了，后面发生的一切，不过是被一步一步引出来而已，万法归一，时间任何事情，最终都会回归到“道”上面来因为道，才是万事万物运行的根本天地有道，四时有序，人事有因果，命运有起伏，没有任何一件事，能真正脱离这个规律单独存在无极生太极，太极生两仪，两仪生四象，四象生八卦，八卦定吉凶，吉凶生大业什么意思？就是说，这世间所有看得见的变化，本质上都不是凭空冒出来的，凡事都有它的来处，也都有它的归处，无非就是从无极而来，经太极分化，经阴阳流转，最后落到你眼前，变成了一件具体的人间事，生老病死，聚散离合，那不过都是''道''在不同阶段的显化而已你在人道里学会敬畏，学会因果，学会认命，也学会顺势，你其实就已经开始摸到门路了而这世上很多人，终其一生，连那道门缝在哪里都不知道福生无量.......

张雪峰早在今年就被拒绝参加3月22日的无锡马拉松，拒绝的原因，心脏体检不合格，而且这不是第一次，在这之前，其实已经有过多次预警，用我们道家的话讲、任何事情，只要有迹象阻止你，频繁的出现了波折，这个时候你要暂停了，凡是辛苦，皆为强求。真正属于你的人事物，都不会让你太吃力，不顺利本身就是信号，一直看我的文章的粉丝总以为我讲的这些东西很玄，这些东西都是道家几千年来，老祖宗一代一代传下来的东西，只不过很多东西，以前不轻传，也不是谁都能随便听到，放在过去，有些话你就是捧着钱，都未必有人愿意讲给你听，而我都是把这些东西放到全网上公开讲，你能看到，能刷到，能听进去，本身就已经是你的福报当一件事情开始频繁出现阻力，而且这种阻力不是一次，而是反复出现的时候，你就该停了，第二种情况来的比较急，必须要重视，就是一件事突然催得很急，急到不给你思考的时间，急到非要你马上做决定，只想把你立刻推进去的事情，你都该先停下来，好好审视一下，这种情况大多数都是流年要开始引动那个神煞了，因为很多祸，都是发生在你太急、太赶、来不及细想的时候，真正的因果，不是事情发生了，你才看见它，你看到的只是那个果，真正的因你不看八字你根本看不到，''因''早已经注定，而''果''只是到了那个流年,外部的事情再一步一步过来配合, 也就是说，很多人以为是因为某一件具体的事才出事，其实不是, 那件事，只是神煞引动的媒介, 就拿张这个事情来说，很多人会把问题归到长时间跑步上，也有人会归到心脏上, 但在我们道家的体系里，长时间跑步不是根本原因，心脏出问题也不是根本原因。它们都只是“果”落下来之前，最先被拿来下手的那个点，因为当流年神煞开始被引动的时候，神煞最先看的，往往都是人的身体，如果你身体本身就有问题，它就先从身体这里下手，如果身体没问题，那它也不会就此停住，而是会转过去引动别的东西。比如突然有人催着你出门，催着你立刻去做另外一件事，催得你来不及细想，来不及停，来不及判断，而催着你去做的这件事，它只是在配合那个早就埋下的因，所以你要明白一件事，即便他心脏没问题，也一样会有别的事情来引动，因为人的定数不是临时出现的，而是在出生那一刻，很多东西就已经随着命盘一起写进去了，只不过有的人，是从身体上应，有的人，是从意外上应，有的人，则是从人事催逼上应，形式不一样，但背后的逻辑是一样的，具体要看原局八字，不同的神煞对应不同的事情，所以真正的问题，不在于长时间跑步这个动作本身，更不在于表面看到的那个心脏问题，真正的问题在于，那个因，在他出生的时候，就已经埋下了，后面发生的一切，不过是被一步一步引出来而已，万法归一，时间任何事情，最终都会回归到“道”上面来因为道，才是万事万物运行的根本天地有道，四时有序，人事有因果，命运有起伏，没有任何一件事，能真正脱离这个规律单独存在无极生太极，太极生两仪，两仪生四象，四象生八卦，八卦定吉凶，吉凶生大业什么意思？就是说，这世间所有看得见的变化，本质上都不是凭空冒出来的，凡事都有它的来处，也都有它的归处，无非就是从无极而来，经太极分化，经阴阳流转，最后落到你眼前，变成了一件具体的人间事，生老病死，聚散离合，那不过都是''道''在不同阶段的显化而已你在人道里学会敬畏，学会因果，学会认命，也学会顺势，你其实就已经开始摸到门路了而这世上很多人，终其一生，连那道门缝在哪里都不知道福生无量.......

Ripe

74,151 görüntüleme • 4 ay önce

劝大家尽早用“无人兜底”的态度过一生什么叫无人兜底？就是从今天开始，你得把自己当成这个世界上唯一的依靠。不是父母，不是伴侣，不是朋友，是你自己。这不是让你变得冷漠，而是让你清醒。我见过太多人，活得像个巨婴。二十七八岁了，工作不顺找父母哭诉，恋爱分手指望闺蜜救场，存款为零，还敢裸辞说要找回自己。你以为这叫有人疼、有人爱，实际上是你根本没把自己当回事。无人兜底的思维模型很简单，就是你做任何决定之前，先问自己一句：如果明天所有人都消失了，我能不能活下去？能不能活得好？这个问题会逼着你去建立真正的能力，而不是依赖关系。为什么这个思维这么重要？因为成年人的世界，本质上就是无人兜底的。你父母会老，你的伴侣也有自己的人生要过，你的朋友更不可能永远围着你转。唯一不会离开你的，只有你自己的能力和认知。很多人不愿意接受这个现实，他们觉得人生应该有退路，应该有人在背后托着。但你有没有想过，正是这种心态，让你在关键时刻，永远拿不出100%的拼劲。我以前就是这样的人。大学毕业那年，我拿着3000块的工资，在广州租着城中村的房子，每天挤地铁上下班。但我不慌，因为我知道，实在不行了，我可以回家，父母总归会接纳我。就是这个想法，让我在那份工作上混了整整两年，毫无长进。转折点发生在我25岁那年。我爸突然查出了重病，需要大笔医疗费。那一刻我才意识到，我以为的退路，原来只是我单方面的幻觉。我父母从来没有说过他们会永远给我兜底，是我自己理所当然地这么认为。那之后我开始疯狂工作，白天上班，晚上做自媒体，凌晨学运营、学写作，周末接私活。半年时间，我从月薪3000做到月入两万。一年后我辞职，全职做自媒体，现在月收入稳定在五位数。这个转变不是因为我突然开窍了，而是因为我终于明白，这个世界上没有人欠你一个未来，包括你的父母。很多人听到这里会反驳，说你这是不孝，说你这是冷血。但我想说的是，真正的孝顺不是啃老，真正的爱不是依赖。当你有能力独立生活，甚至反哺家庭的时候，你才配谈感情。无人兜底的态度，会逼着你去做三件事。第一件事是赚钱能力。不是混日子拿工资，而是真正能创造价值的本事。你得想清楚，如果明天公司倒闭了，你能不能立刻找到下一份工作？如果行业消失了，你还有什么可以转型的技能？这种危机感，会让你一直保持学习和成长。第二件事是情绪自洽。很多人一遇到挫折就崩溃，因为他们习惯了向外求助。但当你知道没人能真正救你的时候，你会学会自己消化情绪，自己给自己打气。这不是压抑，而是成熟。第三件事是决策果断。你不会再瞻前顾后，不会再把责任推给别人。因为你清楚，所有的后果都要自己承担，所以你在做决定的时候，反而更加清醒和坚定。我有个朋友，30岁了，还在纠结要不要辞职创业。他说他想等男朋友稳定了，想等父母同意了，想等存款再多一点。我问他，如果你一个人，你还等吗？他愣住了，然后说，如果是一个人，我可能早就干了。你看，不是能力不够，是心态不对。你总觉得有人会给你保底，所以你敢拖、敢等、敢浪费时间。但时间不等人，机会也不等人。用无人兜底的态度过一生，不是让你活得孤独，而是让你活得清醒。你可以爱人，可以被爱，可以接受帮助，但你永远不能把希望寄托在别人身上。这个世界很现实，你弱的时候，坏人最多；你强的时候，全世界都对你和颜悦色。所以，与其指望谁来救你，不如让自己变得不需要被救。从今天开始，把自己当成唯一的依靠。不要再幻想谁会永远在你身后托着你，不要再把失败的责任推给环境和他人。你的人生，从来都是你一个人的战场。别怕，你比你想象的更强大。那些你以为离不开的人和事，其实都可以放下；那些你以为做不到的事情，只是你还没有被逼到绝境。无人兜底不是悲观，而是最清醒的乐观。因为当你知道一切都要靠自己的时候，你才会认真对待每一个选择，珍惜每一次机会，拼尽全力去争取想要的生活。这辈子最靠得住的，永远是你自己。

劝大家尽早用“无人兜底”的态度过一生什么叫无人兜底？就是从今天开始，你得把自己当成这个世界上唯一的依靠。不是父母，不是伴侣，不是朋友，是你自己。这不是让你变得冷漠，而是让你清醒。我见过太多人，活得像个巨婴。二十七八岁了，工作不顺找父母哭诉，恋爱分手指望闺蜜救场，存款为零，还敢裸辞说要找回自己。你以为这叫有人疼、有人爱，实际上是你根本没把自己当回事。无人兜底的思维模型很简单，就是你做任何决定之前，先问自己一句：如果明天所有人都消失了，我能不能活下去？能不能活得好？这个问题会逼着你去建立真正的能力，而不是依赖关系。为什么这个思维这么重要？因为成年人的世界，本质上就是无人兜底的。你父母会老，你的伴侣也有自己的人生要过，你的朋友更不可能永远围着你转。唯一不会离开你的，只有你自己的能力和认知。很多人不愿意接受这个现实，他们觉得人生应该有退路，应该有人在背后托着。但你有没有想过，正是这种心态，让你在关键时刻，永远拿不出100%的拼劲。我以前就是这样的人。大学毕业那年，我拿着3000块的工资，在广州租着城中村的房子，每天挤地铁上下班。但我不慌，因为我知道，实在不行了，我可以回家，父母总归会接纳我。就是这个想法，让我在那份工作上混了整整两年，毫无长进。转折点发生在我25岁那年。我爸突然查出了重病，需要大笔医疗费。那一刻我才意识到，我以为的退路，原来只是我单方面的幻觉。我父母从来没有说过他们会永远给我兜底，是我自己理所当然地这么认为。那之后我开始疯狂工作，白天上班，晚上做自媒体，凌晨学运营、学写作，周末接私活。半年时间，我从月薪3000做到月入两万。一年后我辞职，全职做自媒体，现在月收入稳定在五位数。这个转变不是因为我突然开窍了，而是因为我终于明白，这个世界上没有人欠你一个未来，包括你的父母。很多人听到这里会反驳，说你这是不孝，说你这是冷血。但我想说的是，真正的孝顺不是啃老，真正的爱不是依赖。当你有能力独立生活，甚至反哺家庭的时候，你才配谈感情。无人兜底的态度，会逼着你去做三件事。第一件事是赚钱能力。不是混日子拿工资，而是真正能创造价值的本事。你得想清楚，如果明天公司倒闭了，你能不能立刻找到下一份工作？如果行业消失了，你还有什么可以转型的技能？这种危机感，会让你一直保持学习和成长。第二件事是情绪自洽。很多人一遇到挫折就崩溃，因为他们习惯了向外求助。但当你知道没人能真正救你的时候，你会学会自己消化情绪，自己给自己打气。这不是压抑，而是成熟。第三件事是决策果断。你不会再瞻前顾后，不会再把责任推给别人。因为你清楚，所有的后果都要自己承担，所以你在做决定的时候，反而更加清醒和坚定。我有个朋友，30岁了，还在纠结要不要辞职创业。他说他想等男朋友稳定了，想等父母同意了，想等存款再多一点。我问他，如果你一个人，你还等吗？他愣住了，然后说，如果是一个人，我可能早就干了。你看，不是能力不够，是心态不对。你总觉得有人会给你保底，所以你敢拖、敢等、敢浪费时间。但时间不等人，机会也不等人。用无人兜底的态度过一生，不是让你活得孤独，而是让你活得清醒。你可以爱人，可以被爱，可以接受帮助，但你永远不能把希望寄托在别人身上。这个世界很现实，你弱的时候，坏人最多；你强的时候，全世界都对你和颜悦色。所以，与其指望谁来救你，不如让自己变得不需要被救。从今天开始，把自己当成唯一的依靠。不要再幻想谁会永远在你身后托着你，不要再把失败的责任推给环境和他人。你的人生，从来都是你一个人的战场。别怕，你比你想象的更强大。那些你以为离不开的人和事，其实都可以放下；那些你以为做不到的事情，只是你还没有被逼到绝境。无人兜底不是悲观，而是最清醒的乐观。因为当你知道一切都要靠自己的时候，你才会认真对待每一个选择，珍惜每一次机会，拼尽全力去争取想要的生活。这辈子最靠得住的，永远是你自己。

另一面

18,544 görüntüleme • 4 ay önce

后面餐厅那个主要是时代不同了，如果你换成是10多年前是真的不会让你进的，但现在整个BLM woke啥的年轻一代一般不会因为你看起来穷就deny service了。卖豪车的人家还是做的有钱人生意不会在“穷人”深受浪费时间😄，当然这是蓝州。。。

后面餐厅那个主要是时代不同了，如果你换成是10多年前是真的不会让你进的，但现在整个BLM woke啥的年轻一代一般不会因为你看起来穷就deny service了。卖豪车的人家还是做的有钱人生意不会在“穷人”深受浪费时间😄，当然这是蓝州。。。

WangNextDoor

15,099 görüntüleme • 1 ay önce