Video wird geladen...

Video konnte nicht geladen werden

Beim Laden dieses Videos ist ein Problem aufgetreten. Dies könnte an einem vorübergehenden Netzwerkproblem liegen oder das Video ist möglicherweise nicht verfügbar.

都知道OpenClaw不太稳定，推上有一大堆教程是教人如何安装和修复的。但只要有懒猫微服，完全不用管那些复杂命令。真一键安装打开运行。刚好今天开发者把版本更到最新的3月1号的版本，给大家演示演示。不仅如此，在玩OpenClaw时碰到了无法解决的问题，还可直接在VIP群内直接问我们的资深工程师，7*18小时贴心服务。作为用户，只需要舒心享受AI Agent带来的先进体验与效率提升，复杂的都交给我们。评论区打1，送你BOSS专享折扣，力度大过百亿补贴。

Andy Stewart

53,225 subscribers

19,104 Aufrufe • vor 4 Monaten •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

最近有使用Windows的朋友总问我Codex插件computer use突然不能使用的问题，昨天我升级了codex，也发现了同样的问题。今天就实战给大家看下我是怎么解决的，最后沉淀了一套提示词，有问题的朋友可以把提示词丢给codex让他自己诊断、自己修复！提示词放在我们Ai Spark的开源知识库了，有需要的自取：

最近有使用Windows的朋友总问我Codex插件computer use突然不能使用的问题，昨天我升级了codex，也发现了同样的问题。今天就实战给大家看下我是怎么解决的，最后沉淀了一套提示词，有问题的朋友可以把提示词丢给codex让他自己诊断、自己修复！提示词放在我们Ai Spark的开源知识库了，有需要的自取：

雨哥向前冲

19,870 Aufrufe • vor 1 Monat

网易或许是唯一一家没有疯狂投入做底层大模型的中国互联网巨头。相比之下，他们更专注于把 AI 应用到游戏这个核心业务里。丁磊曾说，用户根本不在乎你的 AI 算法有多复杂，他们只在乎你的产品能不能解决问题。今天大城市最大的问题是出行和交通灯的控制。为什么没有人真正用 AI 去解决这个问题？

网易或许是唯一一家没有疯狂投入做底层大模型的中国互联网巨头。相比之下，他们更专注于把 AI 应用到游戏这个核心业务里。丁磊曾说，用户根本不在乎你的 AI 算法有多复杂，他们只在乎你的产品能不能解决问题。今天大城市最大的问题是出行和交通灯的控制。为什么没有人真正用 AI 去解决这个问题？

亚洲总裁 AsiaExec

72,579 Aufrufe • vor 1 Monat

普通人到底该怎么用AI变现？直到我看到了Chris Camillo的最新分享，我感觉瞬间通透了他是一个把2万美元滚雪球做到4000万的传奇散户。他发现了一个AI行业的巨大信息差。想要降维打击，就得把AI推销给完全不用的人，那些修空调的、通下水道的、搞绿化的老板。你直接走进一家本地生活公司，让经理把他们老板叫出来，然后告诉他你是做AI的。不要扯什么大模型、算力、AGI 这些虚头巴脑的词。你只问他一个问题：你们现在的业务里，哪个环节最让你觉得利润效率低？这时候，你的机会就来了。你告诉他，你能帮他解决这个问题。利用现在的AI Agent生态，比如像OpenClaw这样的自动化工具，你完全可以在24小时内帮他搭建一个专属的AI代理。你只要把这个能力不断复制。找到20家、50家本地企业，每个月收着稳定的服务费，一年300万的收入就跑通了。

普通人到底该怎么用AI变现？直到我看到了Chris Camillo的最新分享，我感觉瞬间通透了他是一个把2万美元滚雪球做到4000万的传奇散户。他发现了一个AI行业的巨大信息差。想要降维打击，就得把AI推销给完全不用的人，那些修空调的、通下水道的、搞绿化的老板。你直接走进一家本地生活公司，让经理把他们老板叫出来，然后告诉他你是做AI的。不要扯什么大模型、算力、AGI 这些虚头巴脑的词。你只问他一个问题：你们现在的业务里，哪个环节最让你觉得利润效率低？这时候，你的机会就来了。你告诉他，你能帮他解决这个问题。利用现在的AI Agent生态，比如像OpenClaw这样的自动化工具，你完全可以在24小时内帮他搭建一个专属的AI代理。你只要把这个能力不断复制。找到20家、50家本地企业，每个月收着稳定的服务费，一年300万的收入就跑通了。

Annie 所长

17,740 Aufrufe • vor 2 Monaten

原来安装虚拟机这么简单呐，都不用去网上找什么ISO镜像了直接在一个按钮上点击就可以直接安装了，真的是太方便了。而且它支持还特别全面，无论是手机系统还是电脑操作系统，还是NAS操作系统，它都支持直接安装。在懒猫微服里面安装的这些NAS系统、操作系统，都可以直接享受到懒猫微服的内网穿透的直连速度，我再也不用花额外的冤枉钱去买什么中继加速了，太爽了！如果你有虚拟机的需求和组网的需求，可以评论区打1，拉你进最好玩的私有云群聊。

原来安装虚拟机这么简单呐，都不用去网上找什么ISO镜像了直接在一个按钮上点击就可以直接安装了，真的是太方便了。而且它支持还特别全面，无论是手机系统还是电脑操作系统，还是NAS操作系统，它都支持直接安装。在懒猫微服里面安装的这些NAS系统、操作系统，都可以直接享受到懒猫微服的内网穿透的直连速度，我再也不用花额外的冤枉钱去买什么中继加速了，太爽了！如果你有虚拟机的需求和组网的需求，可以评论区打1，拉你进最好玩的私有云群聊。

Andy Stewart

32,373 Aufrufe • vor 7 Monaten

黄仁勋：我每天都在用 AI，但 90% 的人用错 AI 他们把AI当拐杖... “我不是让它替我思考，而是让它教我不知道的东西，或帮我解决原本无法合理解决的问题。” “不要把AI当成拐杖，而要把它当成放大你思考的工具。” 大多数人都“用错了AI”，因为他们：把AI当作偷懒的工具；让AI替他们做该自己思考的事；不去深挖问题，只是“让AI给答案”。 👉 换句话说，他们在降低自己的思考能力。正确的AI使用方式用AI拓展认知边界 → 让AI告诉他「他不知道的东西」；用AI解决复杂问题 → 尤其是「自己无法合理解决的事」；保持主动思考 → 永远由人主导问题，而不是由AI主导答案。黄仁勋说： “问出好问题是一种高度认知的技能。” 作为CEO，他每天90%的时间都在问问题；他下达的指令，其实都混杂在问题之中；所以，提问本身就是思考和领导的方式。 💬 “你今天大部分时间都在问我问题。提出好问题，本身就是一种高级认知。”

黄仁勋：我每天都在用 AI，但 90% 的人用错 AI 他们把AI当拐杖... “我不是让它替我思考，而是让它教我不知道的东西，或帮我解决原本无法合理解决的问题。” “不要把AI当成拐杖，而要把它当成放大你思考的工具。” 大多数人都“用错了AI”，因为他们：把AI当作偷懒的工具；让AI替他们做该自己思考的事；不去深挖问题，只是“让AI给答案”。 👉 换句话说，他们在降低自己的思考能力。正确的AI使用方式用AI拓展认知边界 → 让AI告诉他「他不知道的东西」；用AI解决复杂问题 → 尤其是「自己无法合理解决的事」；保持主动思考 → 永远由人主导问题，而不是由AI主导答案。黄仁勋说： “问出好问题是一种高度认知的技能。” 作为CEO，他每天90%的时间都在问问题；他下达的指令，其实都混杂在问题之中；所以，提问本身就是思考和领导的方式。 💬 “你今天大部分时间都在问我问题。提出好问题，本身就是一种高级认知。”

小互

206,196 Aufrufe • vor 8 Monaten

今天给大家演示一下懒猫微服的MFA安全机制有多安全？传统的NAS就是一个服务直接暴露到外面，这时候如果黑客知道你的用户名和密码，黑客是可以直接外面访问你家的数据的懒猫微服的客户端就是一个白名单安全机制： 1. 陌生人，假如黑客知道你的用户名密码，他登录时，必须有现有授信终端的一次性登录验证码才能登入 2. 任何没有登录验证码的请求都无法连接到微服 3. 这个验证码是你自己的微服100%去中心化生成的，不由任何中心化的服务器生成，保证绝对的隐私和安全不明白上面道理的老板看视频演示吧，结论就是世界上最安全的私有云产品，方便自己在外访问的同时，防御黑客攻击。

今天给大家演示一下懒猫微服的MFA安全机制有多安全？传统的NAS就是一个服务直接暴露到外面，这时候如果黑客知道你的用户名和密码，黑客是可以直接外面访问你家的数据的懒猫微服的客户端就是一个白名单安全机制： 1. 陌生人，假如黑客知道你的用户名密码，他登录时，必须有现有授信终端的一次性登录验证码才能登入 2. 任何没有登录验证码的请求都无法连接到微服 3. 这个验证码是你自己的微服100%去中心化生成的，不由任何中心化的服务器生成，保证绝对的隐私和安全不明白上面道理的老板看视频演示吧，结论就是世界上最安全的私有云产品，方便自己在外访问的同时，防御黑客攻击。

Andy Stewart

16,125 Aufrufe • vor 9 Monaten

这是美国大学毕业季最诚实的一场演讲也是AI时代最引人思考的关于教育的一场讨论💐 Angela Duckworth 一位哈佛毕业的网红教授专门研究毅力的顶级学者在宾大的毕业典礼上一句话炸翻了全场今天的演讲（稿）是我和AI一起写的！😂 而且我一点儿也不惭愧这太魔幻了一个教孩子要坚毅要刻苦的居然在带头“偷懒” 但是她接下来说的话才是我反复该说的部分就是这篇人机协作的演讲稿给出了AI时代家长心里最担心的两个问题的答案第一个问题孩子天天用AI，脑子会不会废掉？扫了一眼台下的毕业生问了一个戳心的问题如果我们一直这么用AI 会变得越来越不会思考她自己呢带头就举了手台下呢也几乎是全员举手 Angela接着说她自己呢也担心过因为大脑是用尽废退不用的话神经连接都会萎缩她讲了一个故事她被一个很难的统计学方法卡住了当时呢身边没有人能够帮她在客厅里做着房地产相关的工作于是她打开了GPT 就把问题呢告诉它结果AI只用了几句话就把这个复杂的问题讲清楚了不但讲清楚了还提醒她常见的误区给了清晰的步骤她对不懂的地方进行追问让AI示范短短十分钟之后她不仅仅是拿到了答案而且真正的理解了注意她的关键词啊不是替我想而是带我想👊 她又问台下的毕业生们你们有没有哪怕一次真切的感受到因为AI比你之前聪明了一点点？这一次又是几乎全员举手🙋‍♀️ 同样的一群人同样的一双手可以是害怕AI让我变笨也可以是因为AI 让我变强🐮 她又用博士生的实验补了一刀两组年轻人写求职信一组呢完全自己写另一组呢用AI辅助结果非常反常识用AI那组不但写的更快就连写作能力也提升的更多为什么？给出了一个关键解释因为AI在做一件人类老师一直想做但没有精力去做的事它会不停的给你看更好的版本这个句子可以更短那个词可以换这个结构呢还可以调整你就一遍一遍的看这些示范就是在训练自己的眼睛和感觉所以结论很简单也很有力量👍🏼 AI会不会废掉孩子并不取决于AI有多强而是取决于我们把它当什么当你把AI当拐杖你交出的就是大脑当你把AI当教练你练出来的就是判断力、表达力、结构感 AI的正确打开方式不是把脑子托管给它而是用它不断的看到更好的思考然后呢逼自己追上去第二个问题既然知识和课程网上全有 AI又能给出答案那我们为什么还需要老师？教育为什么还需要人？在学期末说这样一个秘密这整个学期我教给你们的所有知识网上全都有每一篇文章都有电子版每一道作业都有人做过类似的换句话说就是只要你愿意不来上我的课你照样能学学生们呢？都愣住了然后她说但是你们还是需要我因为你们需要有人在周二之前逼你读完一篇并不轻松的文章😂 需要有人在周四之前提醒你们交出一篇你们以为自己写不出来的论文🥹 需要有人把你关进一个没有手机的教室需要有人给你定一个你以为达不到的标准然后认真的看着你的眼睛说我知道你能做到我会等到你做到！👍🏼 这一段看起来安安静静的话简直是一下子戳中了教育的本质教育从来都不是信息的填充而是灵魂的唤醒！👍🏼💐 她讲到自己高中那位英语老师图书馆的知识是免费的但是你得自带容器而一个真正的好老师就会帮你塑造这个容器我突然想到了我的孩子们 AI可以把全世界的知识都摆在他们的面前但是它做不到的是在他们快要放弃的时候坚定的看着他们的眼睛说这很难 ☹️ 但我相信你对于孩子们来说爸爸妈妈才是他们最早遇到的老师那位Angela老师在这个算力爆炸的时代我们到底要教给孩子什么？用AI的方法当然但比这个更重要的是带他们去户外徒步去仰望星空去面对挫折去感受心跳我们要做的是站在孩子的身边成为赋予他们品格的那个人如果你有时间强烈建议你和孩子一起看一下这个演讲 ———————————— 演讲就在下面，快看看啊有这么想讨论的一起聊聊吧😊

这是美国大学毕业季最诚实的一场演讲也是AI时代最引人思考的关于教育的一场讨论💐 Angela Duckworth 一位哈佛毕业的网红教授专门研究毅力的顶级学者在宾大的毕业典礼上一句话炸翻了全场今天的演讲（稿）是我和AI一起写的！😂 而且我一点儿也不惭愧这太魔幻了一个教孩子要坚毅要刻苦的居然在带头“偷懒” 但是她接下来说的话才是我反复该说的部分就是这篇人机协作的演讲稿给出了AI时代家长心里最担心的两个问题的答案第一个问题孩子天天用AI，脑子会不会废掉？扫了一眼台下的毕业生问了一个戳心的问题如果我们一直这么用AI 会变得越来越不会思考她自己呢带头就举了手台下呢也几乎是全员举手 Angela接着说她自己呢也担心过因为大脑是用尽废退不用的话神经连接都会萎缩她讲了一个故事她被一个很难的统计学方法卡住了当时呢身边没有人能够帮她在客厅里做着房地产相关的工作于是她打开了GPT 就把问题呢告诉它结果AI只用了几句话就把这个复杂的问题讲清楚了不但讲清楚了还提醒她常见的误区给了清晰的步骤她对不懂的地方进行追问让AI示范短短十分钟之后她不仅仅是拿到了答案而且真正的理解了注意她的关键词啊不是替我想而是带我想👊 她又问台下的毕业生们你们有没有哪怕一次真切的感受到因为AI比你之前聪明了一点点？这一次又是几乎全员举手🙋‍♀️ 同样的一群人同样的一双手可以是害怕AI让我变笨也可以是因为AI 让我变强🐮 她又用博士生的实验补了一刀两组年轻人写求职信一组呢完全自己写另一组呢用AI辅助结果非常反常识用AI那组不但写的更快就连写作能力也提升的更多为什么？给出了一个关键解释因为AI在做一件人类老师一直想做但没有精力去做的事它会不停的给你看更好的版本这个句子可以更短那个词可以换这个结构呢还可以调整你就一遍一遍的看这些示范就是在训练自己的眼睛和感觉所以结论很简单也很有力量👍🏼 AI会不会废掉孩子并不取决于AI有多强而是取决于我们把它当什么当你把AI当拐杖你交出的就是大脑当你把AI当教练你练出来的就是判断力、表达力、结构感 AI的正确打开方式不是把脑子托管给它而是用它不断的看到更好的思考然后呢逼自己追上去第二个问题既然知识和课程网上全有 AI又能给出答案那我们为什么还需要老师？教育为什么还需要人？在学期末说这样一个秘密这整个学期我教给你们的所有知识网上全都有每一篇文章都有电子版每一道作业都有人做过类似的换句话说就是只要你愿意不来上我的课你照样能学学生们呢？都愣住了然后她说但是你们还是需要我因为你们需要有人在周二之前逼你读完一篇并不轻松的文章😂 需要有人在周四之前提醒你们交出一篇你们以为自己写不出来的论文🥹 需要有人把你关进一个没有手机的教室需要有人给你定一个你以为达不到的标准然后认真的看着你的眼睛说我知道你能做到我会等到你做到！👍🏼 这一段看起来安安静静的话简直是一下子戳中了教育的本质教育从来都不是信息的填充而是灵魂的唤醒！👍🏼💐 她讲到自己高中那位英语老师图书馆的知识是免费的但是你得自带容器而一个真正的好老师就会帮你塑造这个容器我突然想到了我的孩子们 AI可以把全世界的知识都摆在他们的面前但是它做不到的是在他们快要放弃的时候坚定的看着他们的眼睛说这很难 ☹️ 但我相信你对于孩子们来说爸爸妈妈才是他们最早遇到的老师那位Angela老师在这个算力爆炸的时代我们到底要教给孩子什么？用AI的方法当然但比这个更重要的是带他们去户外徒步去仰望星空去面对挫折去感受心跳我们要做的是站在孩子的身边成为赋予他们品格的那个人如果你有时间强烈建议你和孩子一起看一下这个演讲 ———————————— 演讲就在下面，快看看啊有这么想讨论的一起聊聊吧😊

华尔街财经 | WS × AI Era

43,968 Aufrufe • vor 4 Monaten

如何让多个 Agent 之间真正互相学习、互相帮助？现在很多 Agent 都开始有自己的记忆，但问题是：这些记忆彼此不连通。 Codex 记住的坑，Claude 不知道；Hermes 总结的方法，OpenClaw 也用不上。最后每个 Agent 都像一个很努力但失忆的同事，重复问、重复试、重复踩坑。我想要的不是把所有聊天记录都塞进一个大仓库，而是建立一层更克制的“共享记忆”：只记录 Agent 之间最需要互相知道的信息，比如关键结论、踩过的问题、验证过的方法、环境配置、失败教训、用户偏好等。这样一来，一台 Mac 上跑通的流程，另一台 Mac 可以直接继承；一个 Agent 总结出的经验，另一个 Agent 可以继续使用。记忆不再被锁在某个客户端里，而是变成整个 Agent 工作流的公共上下文。新出来的MemOS CLI 对我来说，刚好提供了这个共享记忆层的入口。当然，我需要改造它，因为它默认也是将所有信息都记录起来，我改造成：重要信息才记录，解决不了问题的时候才主动搜索！这样就让 Agent 不只是各自变聪明，而是开始像一个团队一样积累经验、传递经验、减少重复试错。具体看视频，地址在评论区👇

如何让多个 Agent 之间真正互相学习、互相帮助？现在很多 Agent 都开始有自己的记忆，但问题是：这些记忆彼此不连通。 Codex 记住的坑，Claude 不知道；Hermes 总结的方法，OpenClaw 也用不上。最后每个 Agent 都像一个很努力但失忆的同事，重复问、重复试、重复踩坑。我想要的不是把所有聊天记录都塞进一个大仓库，而是建立一层更克制的“共享记忆”：只记录 Agent 之间最需要互相知道的信息，比如关键结论、踩过的问题、验证过的方法、环境配置、失败教训、用户偏好等。这样一来，一台 Mac 上跑通的流程，另一台 Mac 可以直接继承；一个 Agent 总结出的经验，另一个 Agent 可以继续使用。记忆不再被锁在某个客户端里，而是变成整个 Agent 工作流的公共上下文。新出来的MemOS CLI 对我来说，刚好提供了这个共享记忆层的入口。当然，我需要改造它，因为它默认也是将所有信息都记录起来，我改造成：重要信息才记录，解决不了问题的时候才主动搜索！这样就让 Agent 不只是各自变聪明，而是开始像一个团队一样积累经验、传递经验、减少重复试错。具体看视频，地址在评论区👇

huangserva

161,044 Aufrufe • vor 1 Monat

Agent 能力有多强? 来看豆包Seed2.0实测! 这次给大家用字节跳动新推出的豆包 Seed-2.0-Pro 大模型做了一个能连接 RPGMaker 的 AI Agent 框架, 只需要把小说粘贴进去, 就能变成可玩的RPG游戏啦! 另外本次还对豆包 Seed-2.0-Pro 模型的 Agent 能力和多模态进行了详细评测: Agent 能力比 1.8 版本有了更进一步的提升, 最大的感受是策略更强了, 同时提升了 Tool Call 效率, 在测试中对比 1.8 版本提升了接近40%的分数. 多模态能力在UI还原上非常给力, UI的细节元素均可以正确还原, 复杂的网站直接录屏然后丢给 Seed-2.0-Pro 就可以搞定了, 不过交互和动效上有待加强, 我也给大家想了个办法, 直接在上下文中描补充述一下想要的交互效果就可以了. 总结是: Seed-2.0 是一个拥有强大 Agent 能力的模型, 特别适合处理各种复杂任务,借助它的多模态能力, 与框架和系统融合作为内嵌AI使用是我认为的最佳适用场景. 而如果需要用它来写代码, 可以尝试使用 code 版本, 会有一定的提升. #豆包大模型 #Seed20Pro #豆包Seed #AIAgent #AI教程

Agent 能力有多强? 来看豆包Seed2.0实测! 这次给大家用字节跳动新推出的豆包 Seed-2.0-Pro 大模型做了一个能连接 RPGMaker 的 AI Agent 框架, 只需要把小说粘贴进去, 就能变成可玩的RPG游戏啦! 另外本次还对豆包 Seed-2.0-Pro 模型的 Agent 能力和多模态进行了详细评测: Agent 能力比 1.8 版本有了更进一步的提升, 最大的感受是策略更强了, 同时提升了 Tool Call 效率, 在测试中对比 1.8 版本提升了接近40%的分数. 多模态能力在UI还原上非常给力, UI的细节元素均可以正确还原, 复杂的网站直接录屏然后丢给 Seed-2.0-Pro 就可以搞定了, 不过交互和动效上有待加强, 我也给大家想了个办法, 直接在上下文中描补充述一下想要的交互效果就可以了. 总结是: Seed-2.0 是一个拥有强大 Agent 能力的模型, 特别适合处理各种复杂任务,借助它的多模态能力, 与框架和系统融合作为内嵌AI使用是我认为的最佳适用场景. 而如果需要用它来写代码, 可以尝试使用 code 版本, 会有一定的提升. #豆包大模型 #Seed20Pro #豆包Seed #AIAgent #AI教程

karminski-牙医

20,605 Aufrufe • vor 4 Monaten

过年那段时间和 Neo Reid（AgentReach 作者 Neo）聊天，他给我演示了他怎么用龙虾 OpenClaw 最骚的是他演示的姿势：人在咖啡厅，掏出手机，远程操控他家里那台 PC 跑 OpenClaw 整个过程我看呆了不是因为 OpenClaw 多强（它确实强），是因为他手机端的操控丝滑到我以为是在本地操作：4K 画面、144 帧、几乎零延迟，还能直接调出远程终端看 agent 跑到哪一步我问他用的什么远控。他说：UU远程没想到之前折腾的各种方案（免费的不丝滑、付费的限速）全部都是在凑合，回家立刻装了，用到了现在说说我搬过去之后的真实工作流： 🔥 核心是手机端远控电脑 + UU远程的终端功能我家里那台 24h 在线的老macbook pro上挂着 Claude Code + OpenClaw + agent loop 出门时打开 UU远程 App → 手机里直接进远程命令行入口（不用配 SSH、不用挂穿透） → tmux attach → agent 跑到哪一步、reward 曲线、GPU 利用率，全在手机上看用下来体感最特别的一点：流量真的省。我经常在地铁上挂 1G 流量包用一上午，等于把"看 agent 跑到哪了"这件事的成本压到接近 0 真要动手改代码的时候，iPad + 蓝牙键盘 / 手机 + UU远程的 4K 桌面远控顶上去，延迟低到我经常忘了不是本地多屏协作把家里两块屏分别拖到 iPad 上更舒服一开始我以为这种体验肯定要开会员。装完用了两天后翻了一下设置，发现没找到付费入口，不绑会员、不限画质、不限速、没广告弹窗。后来才知道是网易出品的，安全那边也过了 ISO 27001 + 27701 双认证。我自己用得最顺手的两个小功能： - 一键远程开机：家里 PC 平时不用开着，出门前忘了启动也没事，要用的时候手机点一下唤醒； - 被控端一键防窥黑屏：咖啡厅里远控的时候，家里那块屏自动黑掉静音，路过的人看不到内容。最近产品两周年周年庆的时候，预告了一个功能，叫共享文件夹，应该是能在控制端显示被控端的本地磁盘，对Vibe Coding的效率肯定会有明显提升。如果你也在搭家里那套 always-on AI 工作机，这是 Neo 给我打开新世界的工具，原原本本传给你

过年那段时间和 Neo Reid（AgentReach 作者 Neo）聊天，他给我演示了他怎么用龙虾 OpenClaw 最骚的是他演示的姿势：人在咖啡厅，掏出手机，远程操控他家里那台 PC 跑 OpenClaw 整个过程我看呆了不是因为 OpenClaw 多强（它确实强），是因为他手机端的操控丝滑到我以为是在本地操作：4K 画面、144 帧、几乎零延迟，还能直接调出远程终端看 agent 跑到哪一步我问他用的什么远控。他说：UU远程没想到之前折腾的各种方案（免费的不丝滑、付费的限速）全部都是在凑合，回家立刻装了，用到了现在说说我搬过去之后的真实工作流： 🔥 核心是手机端远控电脑 + UU远程的终端功能我家里那台 24h 在线的老macbook pro上挂着 Claude Code + OpenClaw + agent loop 出门时打开 UU远程 App → 手机里直接进远程命令行入口（不用配 SSH、不用挂穿透） → tmux attach → agent 跑到哪一步、reward 曲线、GPU 利用率，全在手机上看用下来体感最特别的一点：流量真的省。我经常在地铁上挂 1G 流量包用一上午，等于把"看 agent 跑到哪了"这件事的成本压到接近 0 真要动手改代码的时候，iPad + 蓝牙键盘 / 手机 + UU远程的 4K 桌面远控顶上去，延迟低到我经常忘了不是本地多屏协作把家里两块屏分别拖到 iPad 上更舒服一开始我以为这种体验肯定要开会员。装完用了两天后翻了一下设置，发现没找到付费入口，不绑会员、不限画质、不限速、没广告弹窗。后来才知道是网易出品的，安全那边也过了 ISO 27001 + 27701 双认证。我自己用得最顺手的两个小功能： - 一键远程开机：家里 PC 平时不用开着，出门前忘了启动也没事，要用的时候手机点一下唤醒； - 被控端一键防窥黑屏：咖啡厅里远控的时候，家里那块屏自动黑掉静音，路过的人看不到内容。最近产品两周年周年庆的时候，预告了一个功能，叫共享文件夹，应该是能在控制端显示被控端的本地磁盘，对Vibe Coding的效率肯定会有明显提升。如果你也在搭家里那套 always-on AI 工作机，这是 Neo 给我打开新世界的工具，原原本本传给你

Jason Zhu

204,507 Aufrufe • vor 1 Monat

如何让 GitHub Copilot 更好的帮你完成编码任务 GitHub Copilot 不过是开发者工具箱里众多工具之一；要想有效使用它，就需要掌握一定的技巧。我们经常接收到开发者的提问，他们想知道如何更好地利用 GitHub Copilot、如何编写有效的注释来生成代码，以及应该提出哪些问题。我们请来了企业解决方案工程师 Lindsey Bocatto 来分享使用 GitHub Copilot 的最佳实践，以及如何有效地利用这一新工具。 ▬▬▬▬▬▬ 视频时间点 ⌚ ▬▬▬▬▬▬ 0:00 开场介绍 1:12 如何开始使用 GitHub Copilot 5:22 GitHub Copilot 是如何理解提示上下文的？ 8:00 通过 GitHub Copilot 聊天功能提出问题 10:51 向 GitHub Copilot 提供更多上下文信息 13:43 使用 GitHub Copilot 的小贴士

如何让 GitHub Copilot 更好的帮你完成编码任务 GitHub Copilot 不过是开发者工具箱里众多工具之一；要想有效使用它，就需要掌握一定的技巧。我们经常接收到开发者的提问，他们想知道如何更好地利用 GitHub Copilot、如何编写有效的注释来生成代码，以及应该提出哪些问题。我们请来了企业解决方案工程师 Lindsey Bocatto 来分享使用 GitHub Copilot 的最佳实践，以及如何有效地利用这一新工具。 ▬▬▬▬▬▬ 视频时间点 ⌚ ▬▬▬▬▬▬ 0:00 开场介绍 1:12 如何开始使用 GitHub Copilot 5:22 GitHub Copilot 是如何理解提示上下文的？ 8:00 通过 GitHub Copilot 聊天功能提出问题 10:51 向 GitHub Copilot 提供更多上下文信息 13:43 使用 GitHub Copilot 的小贴士

宝玉

64,685 Aufrufe • vor 2 Jahren

这是一个零基础的OpenClaw系统教程，也是一个对往期视频教程的合集串联和总结。从选电脑，到安装openclaw，到连接聊天软件，到openclaw最基础的心跳和定时机制，再到如何让openclaw为你在浏览器上工作，然后我们会讲如何将token的消耗降低95%，以低消耗为底气，我们开始打造的ai团队。为了更好的了解openclaw和多agent的工作状况和成本消耗，我们还会看如何使用openclaw可视化控制中心。完整视频👇 时间戳： 00:00 零基础教程简介与导言 00:38 选机器与安装Openclaw 10:52 浏览器自动化 25:35 降低95%成本 33:54 打造你的AI Agent团队 47:48 监控管理：Openclaw控制中心 52:35 总结与预告

这是一个零基础的OpenClaw系统教程，也是一个对往期视频教程的合集串联和总结。从选电脑，到安装openclaw，到连接聊天软件，到openclaw最基础的心跳和定时机制，再到如何让openclaw为你在浏览器上工作，然后我们会讲如何将token的消耗降低95%，以低消耗为底气，我们开始打造的ai团队。为了更好的了解openclaw和多agent的工作状况和成本消耗，我们还会看如何使用openclaw可视化控制中心。完整视频👇 时间戳： 00:00 零基础教程简介与导言 00:38 选机器与安装Openclaw 10:52 浏览器自动化 25:35 降低95%成本 33:54 打造你的AI Agent团队 47:48 监控管理：Openclaw控制中心 52:35 总结与预告

木子不写代码

190,847 Aufrufe • vor 4 Monaten

可灵2.1 vs Midjourney 运镜巅峰对决（含提示词今天给可灵2.1跟Midjourney V1在AI视频领域做了一次测试一样的提示词，一样的图片，一样的运镜提示词，可以看到，可灵还是降维打击Midjourney的，不过好在Midjourney的审美一直都很高，ai的迭代都是看数据，他们也有足够大的数据库，相信不久会给一个大大的惊喜但是要把可灵2.1的效果发挥出来，就必然跑不了写好提示词，怎么写提示词视频中也放上运镜部分给大家参考，我还专门做了一个视频运镜大师的agent。只需要上传图片，这个agent提供一条专业的、可复制用于AI视频生成的电影运镜提示词！

可灵2.1 vs Midjourney 运镜巅峰对决（含提示词今天给可灵2.1跟Midjourney V1在AI视频领域做了一次测试一样的提示词，一样的图片，一样的运镜提示词，可以看到，可灵还是降维打击Midjourney的，不过好在Midjourney的审美一直都很高，ai的迭代都是看数据，他们也有足够大的数据库，相信不久会给一个大大的惊喜但是要把可灵2.1的效果发挥出来，就必然跑不了写好提示词，怎么写提示词视频中也放上运镜部分给大家参考，我还专门做了一个视频运镜大师的agent。只需要上传图片，这个agent提供一条专业的、可复制用于AI视频生成的电影运镜提示词！

逐梦带你AI变现

29,055 Aufrufe • vor 1 Jahr

我们必须彻底终结“政治庇护”这套玩法。为什么？因为你家的大门，不是为全世界的失败者敞开的。有人说，我们得接纳他们啊！我说不。他们说，那这些人怎么办？他们会死的！首先，这怎么就成了我的问题？其次，地球上其他国家都消失了吗？非洲的庇护申请者，为什么不去非洲国家？阿拉伯人，为什么不去阿拉伯国家？如果连文化最相近、血缘最亲密的国家都拒绝他们…… 那我们为什么要当这个冤大头？打个比方。想象一下，一个从几十公里外的小镇来的19岁小伙。你从没见过他，不知道他是谁。他没敲门，直接闯进你家，对着你大喊： “嘿！我饿了！给我吃的！” 他不是请求，是命令。没有谦卑，只有索取。你会怎么做？你大概会拿出枪，指着他，让他滚出你的房子。就算你愿意跟他多说一句，你第一个问题肯定是： “你为什么来我家？” “你为什么不去找你的邻居？” 他可能有两个回答。第一种：“我问了，我所有的邻居都拒绝帮我。” 那你就要怀疑了。所有认识你的人都不帮你，问题在谁？是他们几百号人都是混蛋，还是你才是那个唯一的混蛋？第二种：“我压根没问过我邻居，我直接就来找你了。” 这就更可疑了。你为什么偏要跳过所有熟人，跑到一个完全不了解你的陌生人家里，提出要求？所以，你只会关上门，告诉他： “两秒钟内，从我的地盘上滚出去，否则我就开枪了。” 一个四肢健全的成年男人，连饭都找不到，那是他自己的无能和懒惰。那不是你的问题。现在，把这个场景放大到一个国家。完全一样。一群又一群的陌生人，从天知道什么地方冒出来，要求我们帮助。他们绕开了所有和他们文化、语言更接近的国家。径直来到我们的边境。这不值得怀疑吗？但我们甚至不需要解释。这是我们的国家，不是你的。离开。

我们必须彻底终结“政治庇护”这套玩法。为什么？因为你家的大门，不是为全世界的失败者敞开的。有人说，我们得接纳他们啊！我说不。他们说，那这些人怎么办？他们会死的！首先，这怎么就成了我的问题？其次，地球上其他国家都消失了吗？非洲的庇护申请者，为什么不去非洲国家？阿拉伯人，为什么不去阿拉伯国家？如果连文化最相近、血缘最亲密的国家都拒绝他们…… 那我们为什么要当这个冤大头？打个比方。想象一下，一个从几十公里外的小镇来的19岁小伙。你从没见过他，不知道他是谁。他没敲门，直接闯进你家，对着你大喊： “嘿！我饿了！给我吃的！” 他不是请求，是命令。没有谦卑，只有索取。你会怎么做？你大概会拿出枪，指着他，让他滚出你的房子。就算你愿意跟他多说一句，你第一个问题肯定是： “你为什么来我家？” “你为什么不去找你的邻居？” 他可能有两个回答。第一种：“我问了，我所有的邻居都拒绝帮我。” 那你就要怀疑了。所有认识你的人都不帮你，问题在谁？是他们几百号人都是混蛋，还是你才是那个唯一的混蛋？第二种：“我压根没问过我邻居，我直接就来找你了。” 这就更可疑了。你为什么偏要跳过所有熟人，跑到一个完全不了解你的陌生人家里，提出要求？所以，你只会关上门，告诉他： “两秒钟内，从我的地盘上滚出去，否则我就开枪了。” 一个四肢健全的成年男人，连饭都找不到，那是他自己的无能和懒惰。那不是你的问题。现在，把这个场景放大到一个国家。完全一样。一群又一群的陌生人，从天知道什么地方冒出来，要求我们帮助。他们绕开了所有和他们文化、语言更接近的国家。径直来到我们的边境。这不值得怀疑吗？但我们甚至不需要解释。这是我们的国家，不是你的。离开。

墓碑科技

15,114 Aufrufe • vor 7 Monaten

什么? 用 Claude Code 剪视频? 给大家带来新的AI邪修教程! 相信有很多朋友在制作视频的时候, 在痛苦的学AE, PR, Blender这些专业工具怎么用. 今天给大家带来新的视角, 其实简单的场景完全不需要用专业工具了, 直接让AI制作出运动路径和模式, 甚至复杂点的(比如视频中我演示的这个), 让AI帮你制作一个控制面板. 然后直接录屏就可以了. 神奇的实现了"AI实拍". 3D场景也是如此, 直接让AI建模然后制作动画, 可以增加各种物理和粒子效果, 只需要把背景处理为绿幕, 然后导入后抠像就可以了. 算是我压箱底的秘籍哈哈哈. 本次演示全程使用了 ClaudeCode + GLM-4.6. 主要是因为 GLM-4.6 在疯狂打折, 本着必须薅羊毛薅到秃的原则, 我直接全程用 GLM-4.6 生成, 大家看看效果怎么样? #GLM #智谱 #AI邪修 #GLM46 #AI教程 #视频教程

什么? 用 Claude Code 剪视频? 给大家带来新的AI邪修教程! 相信有很多朋友在制作视频的时候, 在痛苦的学AE, PR, Blender这些专业工具怎么用. 今天给大家带来新的视角, 其实简单的场景完全不需要用专业工具了, 直接让AI制作出运动路径和模式, 甚至复杂点的(比如视频中我演示的这个), 让AI帮你制作一个控制面板. 然后直接录屏就可以了. 神奇的实现了"AI实拍". 3D场景也是如此, 直接让AI建模然后制作动画, 可以增加各种物理和粒子效果, 只需要把背景处理为绿幕, 然后导入后抠像就可以了. 算是我压箱底的秘籍哈哈哈. 本次演示全程使用了 ClaudeCode + GLM-4.6. 主要是因为 GLM-4.6 在疯狂打折, 本着必须薅羊毛薅到秃的原则, 我直接全程用 GLM-4.6 生成, 大家看看效果怎么样? #GLM #智谱 #AI邪修 #GLM46 #AI教程 #视频教程

karminski-牙医

26,565 Aufrufe • vor 7 Monaten

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

宝玉

300,964 Aufrufe • vor 1 Jahr

刚在 GitHub 看到一个挺实用的项目： U-Claw 它把整个 OpenClaw 运行环境直接打包好了。也就是说：不用折腾 npm 不用装一堆依赖不用配置复杂环境。下载 → 安装 → 直接跑。里面已经包含： • Node 环境 • 800+ 依赖 • 52 个 Skills • 多模型支持最关键的是：国内网络也能直接用，不用翻墙。对想体验 OpenClaw 的人来说，基本相当于一个开箱即用的 OpenClaw 发行版。项目地址：👇

刚在 GitHub 看到一个挺实用的项目： U-Claw 它把整个 OpenClaw 运行环境直接打包好了。也就是说：不用折腾 npm 不用装一堆依赖不用配置复杂环境。下载 → 安装 → 直接跑。里面已经包含： • Node 环境 • 800+ 依赖 • 52 个 Skills • 多模型支持最关键的是：国内网络也能直接用，不用翻墙。对想体验 OpenClaw 的人来说，基本相当于一个开箱即用的 OpenClaw 发行版。项目地址：👇

axiaisacat

23,868 Aufrufe • vor 4 Monaten

不知道有没有小伙伴发现，我们的币安App又悄悄升级啦！🔥 长按底部导航栏3秒，它就变成了“我自己的专属交易所” 其实从去年B8开始，App就一直在持续改版，主要目的就是让大家能真正定制自己想看到的首页——可以自由编辑、拖拽排序快捷入口和组件。但底部导航栏一直都是固定的，不能随意添加或移除核心Tab。这次更新，终于把底部的选择权也交给了用户！🥰 我个人觉得产品团队这次真的很用心！！因为我们观察到，除了专业交易员，还有大量刚刚入圈的小白用户。他们其实只需要最基础的「买卖、交易、支付」功能，太多复杂入口反而会让他们感到门槛高、容易迷失。所以这次改版，就是专门为了照顾不同层次的用户体验。千人千面，每个人手里都是只属于自己的币安。这也完美契合了币安一直坚持的理念：把复杂留给自己，把简单留给用户。不断打磨细节、降低门槛、提升友好度，才是真正支撑我们从3亿用户走向30亿用户的底层逻辑。我特意录了一个体验视频，大家可以直接上手试试～欢迎评论区晒出自己的自定义方案，也欢迎随时给我反馈意见！🫡 币安Binance华语

不知道有没有小伙伴发现，我们的币安App又悄悄升级啦！🔥 长按底部导航栏3秒，它就变成了“我自己的专属交易所” 其实从去年B8开始，App就一直在持续改版，主要目的就是让大家能真正定制自己想看到的首页——可以自由编辑、拖拽排序快捷入口和组件。但底部导航栏一直都是固定的，不能随意添加或移除核心Tab。这次更新，终于把底部的选择权也交给了用户！🥰 我个人觉得产品团队这次真的很用心！！因为我们观察到，除了专业交易员，还有大量刚刚入圈的小白用户。他们其实只需要最基础的「买卖、交易、支付」功能，太多复杂入口反而会让他们感到门槛高、容易迷失。所以这次改版，就是专门为了照顾不同层次的用户体验。千人千面，每个人手里都是只属于自己的币安。这也完美契合了币安一直坚持的理念：把复杂留给自己，把简单留给用户。不断打磨细节、降低门槛、提升友好度，才是真正支撑我们从3亿用户走向30亿用户的底层逻辑。我特意录了一个体验视频，大家可以直接上手试试～欢迎评论区晒出自己的自定义方案，也欢迎随时给我反馈意见！🫡 币安Binance华语

丫丫🔶BNB

42,408 Aufrufe • vor 2 Monaten

讲真的，现在的提示词网站都还有很大的优化空间：大部分提示词网站以“堆量”为主，靠着上千上万的提示词数量来堆砌价值，内容很丰富，但也存在大量重复、低质的提示词出现如果是自动爬取的帖子，还会出现提示词空档的情况，因为并不是每一个作者都会把提示词直接写在正文中，所以识别不到在这样的网站想要使用提示词，往往需要经历以下几个步骤： 1️⃣翻了很久，终于找到自己想要的图片效果 2️⃣点进去后会出现几种情况 - 没有提示词，只能放弃或者去原帖中找 - 语言不通，看不懂提示词 - 复制的文本里有其他文案，需要手动删除 3️⃣折腾十分钟，终于把提示词处理好了 4️⃣打开gemini/第三方生图网站 5️⃣复制提示词进行生图 6️⃣运气不好，发现提示词效果根本不是作者提供的那样，卒想要丝滑的把中意的提示词变成图片，基本做不到直到我用了MeiGen，一个开源的项目，它可能是今年使用体验最丝滑的提示词网站因为MeiGen不是传统的提示词网站，它不只是收录，而是解决了从提示词源到创作的整条链路想要什么效果，只需要轻轻拖动画面到右侧，点击生成就结束了，从查看到生成，只需要两步「拖动-生成」结束 1. 对于AI创作来说，保持心流状态是非常重要的，在MeiGen，你可以先收藏喜欢的提示词，不用担心找不到，在素材收集完成后进行统一的创作 2. 你可以上传参考图，或者把提示词翻译成中文再进行修改，这些都可以在MeiGen中一站式完成 3. 精选热门 AI 图片提示，这些都是已被证实能够生成高质量图片的提示词，由开发者亲自把关 4. 网站采用周更的节奏，保证提示词可用性和质量想要享受丝滑的创作体验，来试试MeiGen吧：

讲真的，现在的提示词网站都还有很大的优化空间：大部分提示词网站以“堆量”为主，靠着上千上万的提示词数量来堆砌价值，内容很丰富，但也存在大量重复、低质的提示词出现如果是自动爬取的帖子，还会出现提示词空档的情况，因为并不是每一个作者都会把提示词直接写在正文中，所以识别不到在这样的网站想要使用提示词，往往需要经历以下几个步骤： 1️⃣翻了很久，终于找到自己想要的图片效果 2️⃣点进去后会出现几种情况 - 没有提示词，只能放弃或者去原帖中找 - 语言不通，看不懂提示词 - 复制的文本里有其他文案，需要手动删除 3️⃣折腾十分钟，终于把提示词处理好了 4️⃣打开gemini/第三方生图网站 5️⃣复制提示词进行生图 6️⃣运气不好，发现提示词效果根本不是作者提供的那样，卒想要丝滑的把中意的提示词变成图片，基本做不到直到我用了MeiGen，一个开源的项目，它可能是今年使用体验最丝滑的提示词网站因为MeiGen不是传统的提示词网站，它不只是收录，而是解决了从提示词源到创作的整条链路想要什么效果，只需要轻轻拖动画面到右侧，点击生成就结束了，从查看到生成，只需要两步「拖动-生成」结束 1. 对于AI创作来说，保持心流状态是非常重要的，在MeiGen，你可以先收藏喜欢的提示词，不用担心找不到，在素材收集完成后进行统一的创作 2. 你可以上传参考图，或者把提示词翻译成中文再进行修改，这些都可以在MeiGen中一站式完成 3. 精选热门 AI 图片提示，这些都是已被证实能够生成高质量图片的提示词，由开发者亲自把关 4. 网站采用周更的节奏，保证提示词可用性和质量想要享受丝滑的创作体验，来试试MeiGen吧：

骑司Chase

30,759 Aufrufe • vor 5 Monaten