Gorden Sun@Gorden_Sun
OpenAI新发布的3个进展,其中数学领域的那个,顺带证明了所有维度的挂谷猜想。 王虹运气真好,再晚一点这个课题就没了。。。 [引用 @gdb]: 宣布三项重大科学发现,分别在数学(调和分析)、计算机科学(复杂性理论)和物理学(量子场论)领域。 AI开始帮助我们增进对宇宙的理解!
Gorden Sun 是一位在 X 上分享 AI 工具与模型动态的中文博主。近期内容覆盖多个产品:介绍 ArtCraft 用 3D 场景控制 AI 出图、腾讯开源的 Octop 自托管智能体平台、Google 的 Harness² 智能体优化框架,并对比 Claude Pro 与 Gemini Pro 的订阅权益;还谈到 DeepSeek-V4.1-Flash 与 Gemini 4 Argon 的表现。
OpenAI新发布的3个进展,其中数学领域的那个,顺带证明了所有维度的挂谷猜想。 王虹运气真好,再晚一点这个课题就没了。。。 [引用 @gdb]: 宣布三项重大科学发现,分别在数学(调和分析)、计算机科学(复杂性理论)和物理学(量子场论)领域。 AI开始帮助我们增进对宇宙的理解!
Anthropic的CEO,在大学时就被教授称为“国宝”,并且教授主动把他推荐给谷歌的Larry Page和Elon Musk。 原图翻译: Dario Amodei 曾在加州理工学院(Caltech)学习物理。他涉猎广泛的才智,以及快速掌握新领域知识的能力,让他的教授们十分惊叹。 他大一时的物理学教授 Tom Tombrello 对他印象极其深刻,甚至称他为“国宝”,并亲自游说埃隆·马斯克(Elon Musk)和 Google 联合创始人拉里·佩奇(Larry Page),希望他们能在 Dario Amodei…
我认为最值得订阅的AI会员 Claude Pro:20美元,顶级模型,超多额度(跟100美元的ChatGPT差不多)。Pro订阅封号概率低,即使封号也不是问题,封号、退款、重新订阅就是,而且退款有时候会退全款。 几十块一年的Gemini Pro会员:虽然有价格更低的Jio和Pixel渠道,但是学生会员在反重力里可以用Opus 5.5和缩水版Gemini 4(虽然额度极少)。Gemini Pro的附带权益极其丰富,包括:反重力、AIStudio里用各种模型、Gemini APP、浏览器里的问问Gemini、Note…
AI出图总是摆不对?开源神器让你亲手摆 AI出图总是姿势不对、位置乱跑?ArtCraft让你先在3D里摆好人物、道具和镜头,再让AI来画图和生成视频。 Github:
Octop:Grok Bot 的开源实现方案 腾讯开源 Octop,自托管、支持多用户与多智能体的AI助手平台,基建完备,功能强大。接上模型,部署到VPS或者NAS上就是你自己的 Grok Bot。 功能包括: · 专属云电脑与沙箱:Octop 部署在 Linux VPS 上,自带 远程桌面 + Browser AI + Terminal AI + 独立工作区,拥有 GUI 桌面,持久化的浏览器和命令行; · 人工接管:Octop 的Web 控制台,直接内嵌实时的远程桌面,支持键鼠控制; · 多角色与团队协作:支…
Google开源Harness²框架:不改模型权重也能让AI智能体自我进化 Harness²是一个即插即用的智能体优化框架,能在保持底层模型权重不变的前提下,通过自动调整系统提示词、工具指南、记忆和子智能体等8个外围组件来提升任务表现。 采用双层递归机制,既能在无标准答案反馈的情况下通过对比试探优化当前任务的执行配置,又能将成功经验沉淀下来指导后续未知任务。在三项专业基准测试中,仅需单步递归就能让GLM-5和Gemini3.5Flash的表现比基础配置最高提升11.5分,为开发者免去了繁琐的手动调优工作。 Git…
大肥鱼变强啦!跑分超过Kimi K3和GLM 5.3!
DeepSeek-V4.1-Flash-1017 能力和速度都优于GPT 5.6 Sol,OpenAI现在是前有狼后有虎。
发个库存:大肥鱼讲Transformer
哈基米再也不是美国大豆包 大肥鱼的好姐妹哈基米升级啦!3D建模、国际象棋、哥特教堂、光线追踪全都自己写,价格还很香。一分钟看完Gemini 4 Argon。
Anthropic 放弃行业通用的代码管理工具 Git,转而自己开发了一套名为 Scion 的新系统。 在 Anthropic 内部,AI(Claude)承担了大量的编程工作,写代码的速度远超人类。这导致每天需要合并保存的代码量暴增,从 5 月份的每天 2,500 次猛增到 9 月份的每天 30,000 次以上。传统软件开发中常用的 Git,原本是为人类工作习惯设计的,默认每个人都把整座代码仓库完整下载到自己的电脑上离线操作。随着代码库体积膨胀到几十吉字节(GB),数万次频繁操作让原有的网络和服务器彻底不堪重负。…
谁把教材上传Arxiv了? 《Agentic Large Language Models》(智能体大语言模型):来自荷兰莱顿大学的AI教材,内容涵盖大模型工作原理、Agent原理等相关AI内容,共472页。 地址:
我来分享一个Grok Bot的顶级用法吧。 Grok Bot有原生API,其他Agent可以直接调用云端的Grok Bot,例如让Grok Bot生成视频、让Grok Bot搜索X上的内容,可以省去视频API和X API的费用,适合日常主要用Codex或者Claude Code人。 API是在Cursor的后台创建(没错,Grok Bot实际是Cursor Bot,Cursor还是太领先了)。 跟云端Grok Bot做文件交互,则可以通过Cloudflare R2或者Github私有仓库来实现。 谷歌的Gemin…
谷歌把EmbeddingGemma 2开源了,商业价值巨大。 可以实现文字、图片、视频,你只需要描述图片里有什么内容,就能把对应的图片搜索出来。 已经有基于这个模型开源的应用: 模型: [引用 @Gorden_Sun]: Google发布首个原生多模态嵌入模型Gemini Embedding 2 单一模型同时处理文本、图像、视频、音频和文档,映射到统一的嵌入向量空间,再也不需要多个模型嵌套来检索多模态内容了。 检索时支持交错输入,可以同时输入图文、音视频,模型能使用输入的多模态数据的关联性。适用于RAG、根据语义…
这是什么震撼首发 [引用 @martianwyrdlord]: 另一个角度是,狗其实在 2 万年前就偶然撞上了对它们而言相当于人工超级智能的东西。对狗来说,奇点早已发生。它们生活在一个无法理解的世界里,被它们完全视作理所当然的奇迹奇观所包围,它们的一切需求都由思想深不可测的存在照料。 结果是……
陶哲轩又翻车了 昨天他在加州理工学院的演讲PPT,有一页内容是一个思想实验:如果一个药物方案来自无法解释的“黑盒 AI”,它通过了三期临床试验并在数学/逻辑上自洽,那人类应该使用它吗? 陶哲轩的意思是不应该使用。实际这种事儿在医学界是常有的事儿。。。 例如: 阿司匹林(Aspirin): 反例事实:人类早在古希腊时期就用柳树皮止痛(原理就跟阿司匹林相同),拜耳公司于 1897 年人工合成了阿司匹林,并在全球广泛使用了数十年。然而,人类直到 1971 年(约翰·范恩因此获得 1982 年诺贝尔奖)才发现阿司匹林是通…
有人觉得软件开发完了,我觉得恰恰相反,现在处于软件大爆发的前夕。你不知道接下来会有人vibe出哪些神奇的软件。 NVIDIA Driver for macOS:让Mac电脑重新支持英伟达显卡 苹果系统在很多年前就停止了对英伟达(NVIDIA)显卡的原生支持。这个项目专门针对使用 Intel 处理器并安装了 macOS 15 系统的电脑(通常是黑苹果或老款 Intel Mac),让它们重新用上现代的英伟达显卡,支持从 GTX 16 系列到最新的 RTX 50 系列。 项目让苹果系统能够正常识别英伟达显卡,并借助显卡…
原来Codex的Computer Use是通过MCP服务实现的,所以Claude等其他Agent也完全可以调用。 不过后续Codex应用更新,可能其他Agent就用不了了。 把这段提示词发给Claude或其他Agent即可: 在我的 Mac 上,将 Codex 的 Computer Use(计算机操作)设置成一个供你使用的 MCP 服务器。 找到下面路径中最新版本目录里的 .mcp.json 文件: ~/.codex/plugins/cache/openai-bundled/unified-computer-us…
才发现我竟然有 Manus 创始人肖弘的微信,备注还是微伴助手 CEO,好像是 AI 时代前某次企业微信的大会添加的。 Mamus 起起伏伏太牛逼了,恭喜 Manus [引用 @ManusAI]: 推出 Manus 2.0
这个网址可以查看你的Claude账号的注册时间,我的号是Claude Waitlist的第一批通过用户,估计这是我号一直没被封的原因。
视频1:Opus 5.5剪辑后的视频 视频2:Grok生成的原始视频 没想到杀死剪映的是LLM
首批龙虾开始死亡,腾讯QClaw即将下线
谷歌开源安卓自动化测试框架 ARTEMIS 核心定位是让 AI Agent 像人类一样直接操作 Android 真机和模拟器。 你只要用大白话给它下达指令,比如“打开地图查一下去哪里的路线,然后再去听首歌”,它就能看懂手机屏幕上的各种按钮和文字,自己一步步在不同的软件之间切换操作。技术方案是先读取 Android 无障碍树与 OCR,面对 Flutter、Compose、Canvas 等自绘界面时再调用 VLM 进行多模态兜底,在基准评测中达到了99%以上的任务完成率。 提供两种模式:一种是极速模式,几秒钟点一下…
Paper2Agent:把学术论文一键转成可调用的AI智能体 由斯坦福的师生开源。通过协调多个专门智能体,自动将研究论文及其代码库转化为标准MCP服务与技能。它让编程智能体能直接调用学术论文中的计算方法与算法模型,并自主完成环境配置与科学工作流验证。科研人员无需手动复现繁琐的代码环境,即可在日常分析中直接使用最新发表的研究成果。 Github:
Hemmingway-1:让AI写出来的文字更像真人 开源模型,基于Qwen 3.8 27B微调。专门用来解决普通人日常生活中的写作难题。 平时让AI帮忙起草一条发给房东的短信,很多AI会先给一段客套的前言,再列出三种不同风格的选项,最后还要附带一堆解释。Hemmingway-1 去掉了这些啰嗦的铺垫,用户提要求,它就直接给出一条能直接发出去的自然文本。 团队训练这个模型,主要是为了应对日常沟通里那些容易让人纠结的场景,比如发给同事的工作微信、难开口求助的邮件、催账或者处理琐事的便签。在面对需要委婉表达或说服对方…
实际试了一下,不是很难,Fable 5.1 直出。 在线体验: Github: [引用 @chetaslua]: Fable 5.2 是纯 JS,就这个,一次成功 动物版,我甚至没有提示它要如此详细,它还为不同的动物制作了合适的零食 对于第一次看到我账户的人可能不知道我如何访问 fable 5.2,只需查看我之前推文,而且 opus 5.2 正在 claude web 中测试 @bcherny 我能得到积分吗,我的 200 美元订阅计划结束了 @claudeai
马斯克的Neuralink让一位渐冻症患者能够通过意念说话,他对照顾他的妻子说的第一句话是:“我爱你” 😭 [引用 @neuralink]: 一个美丽的惊喜
Google 与马里兰大学等提出 Dream-RSI:让 AI Agent 在历史探索记录中低成本自我进化 长程探索任务的元策略优化通常需要极高的试错成本,这项研究直接将已完成的探索记录树作为精确的离线重放模拟器。 新策略无需重复调用模型执行真实代码,只需在历史轨迹中“做梦”重演即可筛选出更优方案,实现零执行成本的离线评估。 优胜策略随后部署至新一轮在线探索并扩充模拟器池,在保持甚至提升算法与算子发现质量的同时,最高降低 162 倍的探索调用开销。 项目介绍:
数学家哭了。 字面意义上的哭了,康奈尔大学数学系教授、知名科普作家斯蒂芬·斯特罗加茨(Steven Strogatz)在接受《WIRED》采访时,谈及过去一周人工智能在数学领域取得的突飞猛进,忍不住当场落泪。 “科学本身令人振奋,”这位67岁的老教授坦言,“但在它背后,伴随着太多人类难以承受的不适与痛苦。” 触发这场情绪海啸的,是过去数周内接连上演的 AI 算力奇迹。OpenAI 刚刚宣布动用数万个智能体,攻克了拥有百万美元悬赏、困扰数学界近百年的纳维-斯托克斯(Navier-Stokes)方程相关难题;而就在此…
这篇文章信息量非常大,值得争论和吐槽的点也非常多。有一个隐藏信息,豆包真的没蒸馏,豆包Seed 2.1 Pro做到Opus 4.6的水平是实打实的。 [引用 @AnthropicAI]: 我们发布了迄今为止最详细的威胁情报报告。 报告涵盖了人们如何试图滥用 Claude——用于网络攻击、影响行动、监视、生物学和制造武器——以及我们如何发现并阻止这些行为。 我们破坏了报告中提到的每一次行动,并利用从中得到的教训来强化我们的防护措施。在适当情况下,我们也将所发现的内容与相关机构分享…