Загрузка видео...

Не удалось загрузить видео

На главную

meme本地扫链打狗目前正在加急的做优化。兄弟们可以耐心等一等,很快就会和大家见面了。 目前主要适配的系统是mac系统,比较推荐mac mini安静又稳定,当然苹果笔记本也是没有问题的。我进行开源以后你们也可以进行二创,去适配win系统。 做Ai开发的都知道Token我是真的比较心疼的,我是用的 GPT-6 Astra思考拉到顶的,为了做出来的能更加的好用一些。 今天我又进行了一些细节的优化: 1:增加了更多热门链的扫描BSC ETH SOL等 2:新增数据新鲜度,以扫描时间定位新鲜度 3:新增语言选择,目前支持6种热门语言。 4:新增一键辅助合约地址,用于方便使用其他钱包下单 5:新增代币官网识别与官网入口 那么狙击手想问一下各位打狗玩meme币的大神们,你们认为还有什么需要增加的可以打在评论区。届时一起使用这套工具。

21,856 просмотров • 7 дней назад •via X (Twitter)

Комментарии: 45

Фото профиля secret8.eth 🧐
secret8.eth 🧐7 дней назад

关注了 去做吧 哥哥

Фото профиля 老A|AI🕊️|
老A|AI🕊️|7 дней назад

建议加聪明钱跟踪,Rug实时预警推送。

Фото профиля 等待被割的老韭菜 Gate打金狗0Gas费
等待被割的老韭菜 Gate打金狗0Gas费7 дней назад

期待早日上线

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

快了快了预计下周

Фото профиля 珂珂 (冠名就上薪火)买美股上币安
珂珂 (冠名就上薪火)买美股上币安7 дней назад

老师太大气了

Фото профиля 爱谁谁
爱谁谁7 дней назад

期待新版本上线

Фото профиля 0x张万森
0x张万森7 дней назад

还是太细了

Фото профиля 老实人|美股·AI投资
老实人|美股·AI投资7 дней назад

狙击手大神能给我一个关注位不? 我点了小铃铛了,你发帖我就来串门哈~~谢谢哈~

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

给了兄弟

Фото профиля 老实人|美股·AI投资
老实人|美股·AI投资7 дней назад

谢谢老哥~🙏🙏🙏

Фото профиля Louis.霍霍
Louis.霍霍7 дней назад

抓紧优化,打狗帮都等着呢

Фото профиля web3 七七 (冠名就上薪火)
web3 七七 (冠名就上薪火)7 дней назад

这些优化,很强

Фото профиля Ox糖豆
Ox糖豆7 дней назад

太细节了老师

Фото профиля Token拾荒
Token拾荒7 дней назад

这真是个非常不错的想法

Фото профиля 小美哥🕊️
小美哥🕊️7 дней назад

太厲害了啦 打造這一套

Фото профиля 加密 天|Gate美股0费率
加密 天|Gate美股0费率7 дней назад

好用的工具快来了啊

Фото профиля 龙猫·liaoblove
龙猫·liaoblove7 дней назад

加个貔貅检测就更顺手了

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

里面有的那是基础功能

Фото профиля ProvenDaily🔶BNB
ProvenDaily🔶BNB7 дней назад

兄弟这波是真用心了 等上线一定得试试

Фото профиля Crypto雪爷
Crypto雪爷7 дней назад

不错

Фото профиля 50泛binance·小墨
50泛binance·小墨7 дней назад

坐等开源代码 搓手期待成品上线

Фото профиля 南山币胜客
南山币胜客7 дней назад

支持6种语言,说明考虑到了不同地区用户的使用习惯,覆盖面更广

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

有很多老外粉丝也是比较感兴趣的

Фото профиля Sola ∎ 𝕏🧲
Sola ∎ 𝕏🧲7 дней назад

加个价格异动提醒吧 手动扫太费眼睛了👀👀👀

Фото профиля 黄pengxu
黄pengxu7 дней назад

必须赞

Фото профиля KL🔶 BNB
KL🔶 BNB6 дней назад

刚买的m4 够用不 哥

Фото профиля 秦冉Poppy🦋
秦冉Poppy🦋7 дней назад

细节决定成败

Фото профиля 飞鸟
飞鸟6 дней назад

我的工作台受到了你的很大启发,来说点拙见: 1.增加庄履历和对应的筛选设置。 2.扫描时间是新鲜度嘛,但是可以添加个入队价对照现价,以及一些简单的聪明钱/KOL持仓情况等信息用快照形式拉下来显示,更一目了然一些并且省去了点超链接功夫,也不会很容易打成429。(我比较懒) 3.可以添加一个预警模块,根据自己的设置来筛出更多的优质新狗直接弹窗,像我是调用了X API直接结合到喊单情况,热度等来弹。 4.有的用户可能像我一样不喜欢一直盯着看新盘,工作台里噪音就算少还是看的人很累。可以做个弹窗预警那些经过自己交易习惯筛选的,选币界面主要是拿来看热点叙事和中盘机会。 一点点小想法,感谢大佬打的地基。

Фото профиля MAYDAY
MAYDAY7 дней назад

坐等开源代码 搓手期待成品上线

Фото профиля 小薯条🕊️
小薯条🕊️7 дней назад

数据新鲜度这个很实用,能不能再加个聪明钱钱包监控,看到大户买入直接高亮提醒。

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

那个监控在GMGN里就看了

Фото профиля 奶牛叔
奶牛叔7 дней назад

等你开源我帮你适配win吧

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

好的奶牛叔,我主要token消耗的太快了,暂时先做mac

Фото профиля 0x厂长
0x厂长5 дней назад

走的okx的api?

Фото профиля 莓莓
莓莓7 дней назад

哥你也太细节了吧

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

我是细节控

Фото профиля Greg
Greg7 дней назад

加油

Фото профиля Crypto老鹰
Crypto老鹰7 дней назад

这优化太细了吧,支持

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

哈哈感谢支持

Фото профиля LK8888.eth(💙,🧡)
LK8888.eth(💙,🧡)7 дней назад

支持,坐等第一时间

Фото профиля EddieZhan
EddieZhan7 дней назад

用的收费的 api 吗?

Фото профиля 陶朱 | Gate Card刷遍全球
陶朱 | Gate Card刷遍全球7 дней назад

老师还是能力在线,想的很全面

Фото профиля DeFi狙击手 | Ai🕊️
DeFi狙击手 | Ai🕊️7 дней назад

夸奖了老师

Фото профиля 圣洋|Crypto Hustler🔋
圣洋|Crypto Hustler🔋7 дней назад

期待

Фото профиля 0x TL
0x TL7 дней назад

有点等不及了

Похожие видео

【抓住这轮meme周期首先要学会扫链】—— 入门篇1.0 这段时间一直在学习扫链打狗,从一开始的亏损到现在扭亏转盈。录制教程记录一下经验,让我们先从最简单的开始! 一.前言: 先小资金试错,链上没玩过的需要先适应链上节奏。学费是必须要交的。我刚开始犯的一个错误就是什么都不懂就大资金参与然后亏麻。也可以去看看 navy 安然老师的直播,看看别人扫链节奏。总结下来就是:新人小资金试错,多看多学少出手,熟悉链上节奏和扫链方法再慢慢放大本金。 二.扫链准备工作: 首先我们需要一个功能齐全的扫链网站,再配合电报机器人的链上监控。扫链网站这里推荐使用GMGN,也是我目前一直在用的。 1.GMGN链接: (走我链接的朋友可以跟我说一下~) 2.电报链上监控机器人推荐: Sol聪明钱监控bot: Sol交易量策略监控: 推特消息订阅实时监控: (由 0x01yuqi 开发的免费工具,大家可以去yuqi老师推特主页找需要用的工具,包括内盘,外盘监控工具,不一一列举了。机器人只是作为辅助判断,不要盲目跟单) 三.开始扫链!!! 我们打开GMGN点击左上角的meme再点击pump,来到扫链页面。这个页面显示的是所有在pump这个平台上发射出来的meme,也是目前扫链打狗的主战场。这个页面分为三个栏目,分别是新创建、即将打满和已开盘,我依次介绍一下。 1.新创建 刚开的盘子,风险系数最高,不建议参与。但是可以观察实时热点,因为一个热点会有很多dev部署代币,所以如果发现同一时间在新创建中出现很多相同的图片,值得关注。 2.即将打满 这里风险也是很高的,很多dev自己塞了很多sol把进度推高,你买进去可能会被砸的很惨。对于新手,建议把筛选进度调到100%,因为打满后到部署到链上转化成已开盘的项目需要一定时间,这段时间可供大家研究这个项目。 3.已开盘 这里风险降低了一些,但是还是避免不了很多刚开盘就归零的。建议把筛选条件设置成150k市值,避免一些刚开盘就归零。如果佛系一点的扫链玩家可以将市值设置为500k或1000k,这里就避免了大部分垃圾项目了,具体筛选条件大家根据自己喜好的扫链节奏来设置就行了。 好了,这个时候你已经掌握了基本的扫链方法,可以开始扫链了!链上风险很大,一定要谨慎参与!

Aspirin 阿司匹林

24,011 просмотров • 1 год назад

小扎吐槽苹果和 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 просмотров • 2 лет назад

试了一下 OpenAI 新出的 Codex App,有些亮点 跟 Skills 的适配还是有点问题,模型的主要问题就是慢 OpenAI 给 Pro 和 Plus 用户的 Codex 额度在未来两个月内全部翻倍了 👇看一下详细的能力介绍: Skills 可视化管理 有一个专门的 Skills 列表界面,预置了一些官方 skills,也可以扫描你已经安装的 skills。注意这里只能扫描 NPX 安装的,本地创建的(比如在 Claude Code 里创建的)扫不出来。 还支持 Skills Creator 创建的 skills,可以直接在 APP 里用它去创建新 skills。 ------ 定时任务功能,这个挺实用的。 可以让 AI 定期执行某些任务,比如每周给你一个解决问题的报告,定期去解决某个项目的 PR 问题,或者定期 review 代码。 对于需要持续维护的项目来说,这个功能还是挺有价值的。 ------ Codex APP 现在支持计划模式了。 因为它跟 Codex CLI 共享后端,所以现在 Codex CLI 也同步支持计划模式了。这意味着 AI 会先规划任务步骤,让你确认后再执行。 ------ 用量显示的样式做得挺好的。 进度条、余量、使用情况都很清楚,一眼就能看到你还有多少额度。 还有 code review 的快捷方式,可以快速调用你的 skills。MCP 的添加也支持。 ====== 实测:用 video-wrapper skill 跑了一遍 我测试主要是让它跑了一个我最近做的 skill,可以一键给视频添加视频包装,比如卡片、花字、人物条、章节标题这些。 这个 skill 挺复杂的,所以很适合用来测试。 ------ 第一次运行的问题 可以工作,但第一次它选了 PIL 这个方案,比较差。 核心问题是什么?它跟你没有交互。 我的 skill 里边写清楚了:要先问用户要哪套方案,再给出包装方案让用户确认,用户确认了再开始包装。 但在 Codex 这里,明显没有交互。它就直接跑,把所有决定都自己做了,跑完就完了。出错了也不管,直接用降级方案。 ------ 修复后的效果 我让它修复以后,它倒是能修复。重新跑了一遍,效果也不错。 最终生成的视频包装效果还行: ▸ 左下角有人物卡片 ▸ 有花字 ▸ 有各种卡片和章节标题 ▸ 结论卡片也加上了 因为我们用前端代码约束了样式,所以它在样式上不会出什么错误。 ------ 体验总结 整个过程很不可控: ▸ 速度很慢 - Codex 本身速度就慢 ▸ 交互明显不够 - 你根本不知道进到哪个阶段了,也不知道它的方案是什么 ▸ 只管执行 - AI 一直在执行,不会停下来问你 可能是它不太适应 skills 规范,只是简单做了一下适配,没有 Claude Code 跟 skills 的适配那么好。

歸藏(guizang.ai)

30,595 просмотров • 7 месяцев назад

为了让大家看到第一手的OpenAI DevDay的信息,对直播的视频的字幕进行了校对和翻译,这里是第一部分。 早上好,感谢你们今天的参与。欢迎 Sam Altman 登台。早上好,欢迎来到我们首次举办的 OpenAI 开发者日。我们很高兴你们能来,这种活力真棒。欢迎来到旧金山。旧金山从一开始就是我们的家。这个城市对我们和整个科技行业都很重要。我们期待在这里继续发展。 今天,我们有一些重要的事情要宣布。但首先,我想花一分钟时间谈谈我们在过去一年里做的一些事情。大约一年前,11 月 30 日,我们以研究预览的方式低调地发布了 ChatGPT。效果还不错。在三月,我们接着发布了 GPT-4。这仍然是世界上最强大的模型。在过去的几个月里,我们推出了语音和视觉功能,使 ChatGPT 现在可以看、听、说。 最近的...有很多,你们不必每次都鼓掌。最近,我们推出了 DALL-E3,世界上最先进的图像模型。当然,你可以在 ChatGPT 中使用它。对于我们的企业客户,我们推出了 ChatGPT Enterprise,它提供企业级的安全和隐私,更高速度的 GPT-4 访问,更长的上下文窗口,等等。 今天,我们有大约 200 万开发者在我们的 API 上进行各种用途的开发,做了很多令人惊叹的事情,超过 92% 的财富 500 强公司在我们的产品上进行开发,现在我们在 ChatGPT 上有大约 1 亿的每周活跃用户。令人难以置信的是,我们完全通过口口相传达到了这个地步。人们发现它很有用,就告诉他们的朋友。OpenAI 现在是世界上最先进、使用最广泛的 AI 平台。 但是,数字永远不能完全描绘出这样的事情。真正重要的是人们如何使用产品,人们如何使用 AI。所以,我想给你们看一个简短的视频。我实际上想用塔加洛语给我爸爸写点什么。我想以一种非浪漫的方式告诉我的父亲我爱他,我也想告诉他他可以依赖我,但是以一种仍然保持孩子对父母的尊重的方式,这是你在菲律宾文化和塔加洛语语法中应该有的。 它被翻译成塔加洛语,我深深地爱你,无论道路通向何处,我都会和你在一起。我看到一些可能性,我就像,哇,有时我对一些东西不确定。我觉得我实际上在聊天时就像,嘿,这就是我在想的,所以你有点给它更多的信心。第一件让我震惊的事情是它与你平等对待。这是很多人都在努力做的事情。这启发了我,只要有一个倾听者相助,每位创意工作者都能释放出无限的可能。 这是一种标志性的 'neemaglobbin',你是用 ChatGPT 建造的吗?ChatGPT 和我一起建造的。我开始用它进行日常活动,比如,嘿,这是我冰箱的照片,你 能告诉我我缺什么吗?因为我要去超市,而我非常需要遵循我的素食饮食来准备食谱。我们获得了代码解释器的访问权限。我当时就想,哇,这东西太棒了。它可以建立电子表格,它可以做任何事情。 我在我的 100 岁生日那天发现了 chatty。Chatty 非常友好,非常有耐心,知识非常渊博,而且反应非常快。这真是一件美妙的事情。尽管我是个 GPA 4.0 的优等生,同时也是四个孩子的妈妈。我在使用 ChatGPT 后很快发现,无论我有什么问题,它都能提供答案并且附带详细解释,让我不再那么依赖家教。它让我重获新生,让我有了更多陪伴家人和自己的时间。 我身体的左半边因为神经损伤而长期遭受着慢性疼痛。经历过脊椎和大脑手术之后,我的左手的功能受到了一定的限制。如今,语音输入技术的应用,以及最新的可进行双向对话的功能,为我提供了一个前所未有的最佳交互界面。这一切现在都变为现实。所以我们很喜欢听到人们如何使用这项技术的故事。这正是我们工作的真正动力。 好了,让我们来看看一些新鲜出炉的东西,我们有很多东西要分享。首先,我们会介绍我们所做的一些改进,然后再分享我们的下一步计划。 在过去的一年里,去年一整年,我们与全球的开发者们进行了深入的交流。他们的反馈极大地影响了我们今天要展示给大家的内容。今天,我们即将发布一个新的模型——GPT-4 Turbo。这个新模型将解决你们提出的许多问题。 接下来,我们来看看有哪些新特性。对于这一部分,我们有六大主题需要讨论。 首先是上下文长度。很多人在处理工作时,常常需要处理比较长的文字。尽管 GPT-4 支持最多 8K 个 token,有时候甚至能处理 32K 个 token,我们明白这对很多用户来说还远远不够。现在,GPT-4 Turbo 可以处理长达 128K 个 token 的文本,这相当于一本标准书籍的 300 页,比我们的 8K 上下文长 16 倍。除此之外,你还会发现,在处理这么长的文本时,模型的准确性也大大提升了。 其次,是对模型更强的控制能力。开发者们强烈希望能更精细地控制模型的响应和结果,我们也做出了相应的改进。其中包括一项新功能——JSON 模式,它能确保模型的响应是有效的 JSON 格式,这一直是开发者的强烈需求。这大大简化了 API 的调用过程。模型在函数调用方面也有所改进。能够一次性调用多个函数,并且它会更好地遵循一般的指示。我们还新增了一个特性——可复现输出。你可以传递一个 seed 参数,它会使模型返回一致的输出。这无疑增强了对模型行为的控制力。这项新功能从今天开始进入 beta 测试阶段。 在接下来的几周内,我们还会推出一个新功能,使得开发者能在 API 中查看 log probs。 好的,接下来是第三点,更好的知识储备。你希望这些模型能够获取更多更新的知识,我们也是。因此,我们正在平台上推出检索功能,允许用户将外部文档或数据库的信息融入到他们正在开发的项目中。同时,我们也在不断更新模型的知识库,让它保持最新。我们和你们一样,对 GPT-4 的知识停留在 2021 年这件事感到十分困扰,可能我们还更甚。我们会尽力不再让它过时。GPT-4 Turbo 已经包含了截至 2023 年 4 月的世界知识,并且我们会不断对此进行更新。 第四,我们引入了新的模态功能。毫不意外,DALL-E v3,具备视觉功能的 GPT-4 Turbo,以及全新的文本到语音模型都会加入到我们的 API 服务中。我们已有几位客户开始使用 DALL-E v3 来创作图像和设计作品。今天 Coca 就推出了一个活动,使用 DALL-E v3 创作 DIWALI 节日卡片。当然了,我们也提供了安全系统,帮助开发者防止他们的应用程序被滥用。这些工具都可以通过 API 获得。GPT-4 Turbo 现在可以通过 API 接受图像作为输入,可以生成标题,分类和分析。例如,Be My Eyes 使用这项技术帮助盲人或视力不佳的人完成他们的日常任务,比如识别他们面前的产品。而我们的新文本转语音模型,能让你通过 API 将文本转化为听起来极其自然的音频,有六种预设的声音供你选择。我会播放一个例子。你知道吗,伟大的发明家亚历山大·格雷厄姆·贝尔对声音的世界充满了迷恋?他的一项天才发明——留声机,能将声音刻录在蜡上,让它们跨越时空低语。这种效果比我们之前听到的任何音频都要自然。语音功能使应用程序的交互变得更加自然和便捷。它还开启了许多应用场景,比如语言学习和语音助手。说到新的模态,我们今天还发布了最新版的开源语音识别模型 Whisper V3。不久后,它将集成进我们的 API。该版本在多种语言上的表现都有显著提升,我们认为你会非常喜欢它。 好的。第五,定制。自从几个月前我们推出 GPT 3.5 以来,模型微调功能表现出色。从今天起,我们会将此功能扩展至模型的 16K 版本。也从今天开始,同时,我们也欢迎那些活跃的微调用户申请加入 GPT-4 微调的实验性接入项目。微调 API 能够让我们的模型通过较少的数据量就适应各种应用场景,并取得更佳表现。但或许你希望模型能学习全新的知识领域,或是处理大量专有数据。因此,我们推出了一项名为“自定义模型”的新服务。有了自定义模型,通过这项服务,我们的研究团队将与企业紧密协作,利用我们的工具为他们的特定用例打造专属的高质量模型。这涉及修改模型训练流程的每一个环节,包括特定领域的预训练和针对该领域定制的强化学习后期训练过程等。我们一开始不会与太多公司合作,因为这需要大量的工作,而且至少在初期,成本也不会低。但如果你愿意与我们一起把事情推向极致,请联系我们,我们相信能创造出令人惊喜的成果。 接下来是第六点,提高速率限制。我们将把所有现有 GPT-4 客户的每分钟 Token 数翻倍,使你能够更加轻松地扩展使用。现在,您可以在 API 账户设置中直接申请调整速率限制和配额。在制定这些限制的同时,我们还致力于提高用户在我们平台上构建新产品的成功率。 为此,我们推出了 "版权保护盾" 服务。版权保护盾的引入,意味着如果您在版权侵权问题上面临法律诉讼,我们将介入并承担相关法律费用,这项服务适用于 ChatGPT 企业版和 API 用户。在此我要明确指出,我们绝不会用 API 或 ChatGPT 企业版的数据来进行我们的训练工作。 此外,开发者们对另一个问题的需求甚至超过了以上所有问题,所以我想现在谈谈这个。那就是产品定价。GPT-4 Turbo 作为行业领先的模型,不仅带来了刚才提到的多项改进,而且比 GPT-4 更为智能。我们听到很多开发者反馈,他们有很多想要实现的项目,但 GPT-4 的成本过高。他们告诉我们,如果我们能将成本降低 20% 到 25%,那将是一个巨大的进步。 我非常激动地宣布,我们经过了大量努力,GPT-4 Turbo,一个更优秀的模型,比 GPT-4 的价格要低得多。对于输入的 Token 价格,便宜了 3 倍。对于输出的 Token 价格,从今天开始,便宜了 2 倍。所以新的定价是,每千个输入 Token 0.01 美元,每千个输出 Token 0.03 美元。对于大多数客户来说,这意味着使用 GPT-4 Turbo 的成本将比 GPT-4 低 2.75 倍以上。 我们为此付出了巨大的努力,希望你们能和我们一样对此感到兴奋。我们不得不在价格和速度之间做出选择,而我们选择了先着手于价格问题。但提速的工作也在我们的计划之中,速度的提升同样关键。你很快就会发现 GPT-4 Turbo 的速度有了显著提升。 我们也在降低 GPT 3.5 Turbo 16K 的成本。此外,现在输入 tokens 的费用减少了 3 倍,输出 tokens 的费用减少了 2 倍。这意味着 GPT 3.5 16K 现在比之前的 GPT 3.5 4K 模型更便宜。运行一个微调的 GPT 3.5 Turbo 16K 版本,其成本甚至比旧的 4K 版本还要低。 好的,我们刚刚详细介绍了这个模型本身。我们希望这些改进能够满足你们的反馈。我们非常兴奋能够立即将所有这些改进带给大家。

宝玉

239,561 просмотров • 2 лет назад

最近使用 Kimi Code + K2.7 极速版辅助编码,分享一下使用体验。 背景: 来自大约 5w 行左右的 golang agent runtime 的重构。前期用 codex / cc 疯狂推代码之后进入了重构期。 用 codex / cc 压低代码行数,很难满足我想要的效果。比如 opus 4.8 反复背诵不知道从哪里学来的超过 300 行代码是不好的设计(我明明没有加这一条,记忆里面也没有),而超过 2000 行不能拆开的代码多了去了,这是本质复杂度。而 codex 在精简了一些之后反手又给我加了一些兼容代码。。。。 所以我回归了半自动的方案,用 kimi code 调研出报告,人工 review 之后开修,大致步骤如下 1. 选择一个切入点 /goal 请你使用 hai-architecture skill 帮我系统整理 nil, 按照当前代码,当前位置,问题点,解决方案表格罗列一下。 有些可能是 nil 本身过度防御,有的地方可能是设计上有更好的方向。请你系统梳理之后,整理到 docs/architecture/nil-review.md ,要详细,分好类和优先级,整 50个点给我 使用 /goal 是为了确保能捞 50 个点,使用 hai-architecture 是为了打开格局,看看是不是有些 nil 是不是因为更上层的设计问题。 2. 50个点的 markdown 看起来还是比较吃力的。可以做个简单的可视化优化一下咱们的阅读体验。 /skill:hai-visual-report docs/architecture/nil-review.md 做一下可视化 然后你就得到一个阅读体验比较好的问题清单,然后挑选一些问题开修就好了。 这里不得不吹一句,K2.7 极速版是真的快,两分钟可视化跑完(视频未加速),调研的时候没感觉有非常大的速度提升,到可视化报告这块速度很快,有明显的推背感。好处就是产出高了,坏处就是刷推少了。。。。。

海拉鲁编程客

18,291 просмотров • 2 месяцев назад

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

宝玉

303,101 просмотров • 2 лет назад

阿里巴巴主席蔡崇信谈为什么阿里巴巴全力投入AI 这是今年五月蔡崇信在 2024 年摩根大通全球中国峰会期间炉边会谈的视频。在与关金星的30分钟对话中,蔡崇信概述了人工智能如何推动他25年前共同创立的公司在核心电商业务或云部门的增长。 “人工智能是一个非常重要的领域,你不能只采用单一的路径” “我们是中国唯一一家既运营领先的云业务又在人工智能领域具有竞争力的公司” “我们看到了AI的巨大潜力……这就是为什么我们全力投入。” “作为一个外行人试图理解人工智能,就像教育一个孩子:你送他们上初中、高中、大学,然后他们最终获得博士学位……当人们比较大语言模型 (LLM) 并说‘我的比你的好’时,他们实际上是在说‘我的孩子有三个博士学位,并且精通生物学、数学和心理学。’” “从根本上说,作为一家技术公司和技术先锋,我们相信机器智能的不断进步,机器将变得越来越智能。” “对我们来说,能够在众多垂直应用中应用人工智能非常重要……当我们看我们的电商用例时,真是不可思议。” “任何使用我们AI的人都需要使用云计算能力……当他们在我们的社区中使用开源AI时,他们也需要计算能力。这就是我们如何增长我们的云计算收入。” “人工智能是一个非常重要的领域,你不能只采用单一的路径。这让我想起了尤吉·贝拉的一句话。他说,‘当你遇到岔路时,选一条路走下去,别纠结。’” “阿里巴巴就是增长。我们致力于技术创新。我们致力于将我们的技术应用于我们的核心业务,为我们的客户创造价值,并最终也为我们的股东创造价值……” “竞争始终存在,自从我们成立之日起就一直有, 你无法通过削减成本来增加竞争力。你需要有一个增长的心态去进行竞争。这就是我们现在的处境,这就是我们决定要做的。” “我曾经把锻炼放在睡眠之前。现在,我更重视睡眠而不是锻炼。”

宝玉

39,499 просмотров • 2 лет назад