Sabitlenmiş Tweet
Amorend
154 posts
以下是历届菲尔兹奖得主的经典语录：
“数学是科学的王后，算术是数学的王后。” ——卡尔·弗里德里希·高斯
“数学，如果正确地看，不但拥有真理，而且也具有至高的美。” ——伯特兰·罗素
“数学的本质在于它的自由。” ——格奥尔格·康托尔
“我们必须知道，我们必将知道。” ——大卫·希尔伯特
“我們的教育沒有問題。” ——丘成桐
“天才在于积累，聪明在于勤奋。” ——华罗庚
“数学是一门演绎的学问，从一组公设，经过逻辑的推理，获得结论。” ——陈省身
“有哪些优秀的百合同人作品？”——邓煜
“不请我吃星期四的.......诅咒他们......高数和线代重修......”——邓煜
中文
我感觉这面板就是完全 vibe 的，一点设计没有，为什么丑到这种程度也能有 2000+ stars 啊，github 真是要完了
极客杰尼@seekjourney
最近朋友推荐一个非常适合学习 Agent Harness Engineering 的工具：claude-tap。 它像是 Claude Code、Codex 等 Coding Agent 的本地可观测性平台，可以看到一次真实 Agent 运行中的： System Prompt 对话历史与上下文 Tool Schema Tool Call / Tool Result 流式响应 Token 用量 相邻请求之间的结构化 Diff 学习 Claude Code / Codex Harness 的核心是运行时系统：上下文如何组装、工具如何注册、状态如何跨轮传递、请求如何持续演化。 我觉得非常适合把源码和真实 Trace 对照着看，理解速度会快很多。 强烈推荐给正在学习 Coding Agent、Agent Runtime 和 Harness Engineering 的朋友。 github.com/liaohch3/claud…
中文
和 AI 开发复杂产品的时候，我发现语言的本质，实际上只是帮助区分。
一个叫 1 一个叫 0 ，只是为了区别，最初有很大的随意性。
最后才会做命名的校准，定位。
正名是一个持续的过程，但是是有复利的，可以复用你在日常生活中预训练的启发。
中文
强如熠辉也开始吐槽 OPC 了，如果能组团队，干嘛要成为 OPC 呢，又累产出又低，之前我也觉得 OPC 非常酷，但是这东西不符合商业行为，将这种概念视为创业的一个中间形态，临时过渡倒是没问题
Yihui@yihui_indie
有团队真好啊！有团队真好啊！有团队真好啊！ 去他的 OPC ~
中文
‼️提醒一下：Qwen3.8-Max-Preview 版本已在生产环境中悄然升级🫡
我用同一个Prompt连续进行测试，但效果完全不一样👀
第一天：一只无手鸬鹚。
第一天：一只静态且无聊的鸬鹚。
第三天：这个。
当大家还在评判第一个版本的效果时，模型已经升级了
迫不及待 @Alibaba_Qwen 发布Qwen3.8正式版🔥
中文
这个人开源了一本《动手学 Pi》，用 15 个 checkpoint 带你把 Agent 的运行链路走一遍：
…our-own-pi-cn.enochzhang.chatgpt.site
柴郡🔔｜Crypto+AI Plus@0xCheshire
如果你想成为一个 AI Agent 工程师…… 一天花一小时，刷完这个 Claude 的官方教程。 链接放评论区。👇
中文
杨立昆都转发了！
Unlimited-OCR 为什么这么火？
百度的 Unlimited-OCR 再次冲上 HuggingFace 趋势榜，目前全球第三，又一次排在 GLM-5.2 前面。
上个月它横扫 GitHub、HF 四榜第一，我以为这波热度就过去了，结果图灵奖得主一转发，又把它送回了前三。
GitHub star 破 1.65 万，HF 下载 224 万，还在涨。
传统 OCR 有个老毛病：把文档一页页切开处理，跨两页的表格直接断掉，阅读顺序也丢了。
Unlimited-OCR 用 R-SWA 机制，几十页文档当一个整体连续解析，解码时 KV Cache 恒定——文档再厚，显存占用不涨。
海外博主 Mario Nawfal 实测：100 页 PDF 一次解析完，40 页之后错误率还在 0.11 以下，其他 OCR 到这个长度已经干不动了。
3B 参数，自己电脑就能跑，关键免费。
如果你经常要处理几十上百页的 PDF——论文、合同、扫描件，以前要么手动切页，要么掏钱买 OCR SaaS，现在这两样都省了。
项目地址👇 github.com/baidu/Unlimite…
HuggingFace：github.com/baidu/Unlimite…
#无限OCR #UnlimitedOCR #百度 #文心大模型 #文心
中文
李飞飞的World Labs正式开始做机器人了。
@theworldlabs 宣布收购机器人公司SceniX。
过去World Labs最重要的产品是Marble：输入文字、图片或者视频，生成一个可以自由探索和编辑的3D世界。
但生成一个看起来真实的世界，只完成了世界模型的一半。
真正困难的是让AI理解这个世界里的物体如何移动、碰撞、形变，以及机器人采取一个动作之后，接下来会发生什么。
@SceniXai 正好补上了这一部分。
SceniX的三位创始人Yunzhu Li @YunzhuLiYZ 本科毕业于北大，在MIT跟随Antonio Torralba和Russ Tedrake完成博士，之后进入李飞飞的斯坦福实验室做博士后，长期研究机器人学习、结构化世界模型和多模态感知。
另一位创始人Changxi Zheng @fast_sploosh 是哥伦比亚大学计算机系副教授，长期研究计算机图形学、科学计算和物理仿真，还曾负责腾讯美国的Pixel Lab。
第三位Sonny Xiaochen Hu @xhsonny 此前来自Body Labs和Amazon，长期从事3D人体重建、计算机视觉和深度学习，更偏向把研究真正做成可以运行和部署的工程系统。
一个研究机器人如何学习世界，一个负责把物理世界模拟出来，一个把3D视觉与仿真系统真正做成产品。
World Labs这次并不是简单收购一家机器人公司，而是希望找到一支能够把世界模型、物理仿真和机器人学习真正连接起来的团队。
机器人在现实世界里训练一次，成本高、速度慢，还可能把设备和人一起送进维修流程。
在模拟世界里，却可以同时生成数百万种环境、物体和失败案例。
过去的World Labs是在让AI生成一个可以进入的世界。
收购SceniX之后，它开始让AI真正进入这个世界，并对它采取行动。
Fei-Fei Li@drfeifei
The world is not just made of words, and spatial intelligence was never just about perceiving and generating worlds. It's about interacting with them. Today, SceniX is joining World Labs. 🌎🤖👇
中文
不仅如此，pi 的设计哲学与 The bitter lesson 不谋而合。随着基模的增强，部分 harness 构件可能会变得多余或阻碍基模的发挥。pi 的极简设计允许轻松集成基模，避免了修改 harness 带来的资源浪费。
SaladDay@Salad95238547
中文
Amorend retweetledi
没事了，原来这个是一个中学生用QQbot乱写的。。
Max For AI@MaxForAI
今天晚上各个群都在传一份《国内大模型蒸馏风波的来龙去脉》。 我大概看了一下，很可惜，这更像是一份由外行根据各种流言拼凑出来的 AI slop。 里面的内容有真有假，但几个核心判断基本都经不起推敲。 比如里面声称，智谱 @Zai_org 在今年 4 月份就已经破解并开始蒸馏 Fable。 这个时间线真的很离谱。 因为 4 月份的时候，Fable （那个时候还是Mythos）甚至还没有正式发布，能够使用的基本都是 Anthropic 的内部测试用户，通过Project Glasswing进行访问。 那智谱是怎么拿到的访问权限呢？ 难道是 @AnthropicAI 的邀请或者是五角大楼反代吗🤣 还有一个比较典型的问题，是作者对于传闻中DeepSeek 将部分请求路由到 Fable 表示不理解，认为这样算不过来经济账。 实际上，但凡是个从业者或者稍微了解模型公司的研发流程，就知道这件事情不能简单按照 API 成本计算。 如果一个 frontier model 可以帮助你生成高质量训练数据、评测数据，或者提升模型迭代速度，那么获取这些能力本身就是一种研发投入。 用单次调用价格去判断整个策略是否划算，本身就是把模型公司的研发逻辑想简单了。 但最离谱的部分，是 PDF 里面声称 @Kimi_Moonshot 在 K3 发布前，把整个 RL 团队全部解雇了❓❓ 这个说法目前没有任何可靠依据。 实际上情况恰恰相反，根据我的确认Kimi RL 相关团队目前仍然存在，并没有所谓“整个 RL 组被裁撤”的情况。 甚至 PDF 里面还进一步延伸出一套完整叙事： K3 = 蒸馏 + 刷榜 + 裁撤 RL。 我一开始还在认真的区分哪些是事实，哪些是推测，哪些只是作者脑补出来的故事。 直到我看到 PDF 后半部分开始大量加入意识形态化表达，把技术讨论上升到所谓“国模黑暗时代”“技术偷取”等叙事，我反而释然了。 因为这已经不是在分析 AI 行业，而是在借 AI 叙事讲另一个故事。 PS：我感觉这个PDF是黑KIMI来的，因为KIMI的篇幅最大，但里面的大部分内容都是假的，其他家就有真有假了。
中文
Amorend retweetledi
截止 2026 年 7 月 21 日 0 点 0 分，DeepSeek V4 正式版仍未发布。
梁子暂时降格为牢梁，赐饮料 梁白开，望周知。
中文