苹果第一个 AI 机器人,可能是个能动的 HomeView
就在大伙还在琢磨这块屏幕能做些什么之时,彭博社记者马克·古尔曼又放出了一个新猛料:苹果内部其实还在秘密研发一款更激进的高端型号,代号 J595。
Zotero OCR神器,一键翻译 PDF 论文,轻松提升阅读效率!
英文论文读得慢,工具乱切换,Zotero翻译到底怎么装。很多人读英文论文,不是单词都不认识,而是读几行就要查词,来回切换软件很烦。Zotero 里有个 pdf2zh 方案,能在文献管理里翻译整篇 PDF,并尽量保留公式、表格和排版。它有点门槛,但搞懂后能省不少事。
如何让【模型本身】具有记忆:存入参数
在我们使用 Agent 的时候,经常会把 Skill 越写越多、越写越长,希望把这些记忆和所有可能用到的东西都放在 Skill 里。
号称人类造的最后一个 AI 要来了,刷屏全网的 RSI 是什么
要论造词和包装概念,AI 圈要是自认第二,恐怕就没人敢称第一。前阵子 OpenAI 总裁格雷格·布罗克曼表示,GPT-6 Astra 已经摸到了 AGI 的门槛。
AI推翻了一个80年的数学猜想
80年前,一个匈牙利数学家在便签上写下一道猜想。今年5月,一个AI把它推翻了。你没看错。不是某个团队,是一个模型,自己写出了完整的证明。换成是你,花了八十年都没解开的题,被一台机器几小时内撕开——你会觉得兴奋,还是后背发凉?
斯坦福Nature正刊:论文不只用来读,还能直接跑
Reimagining research papers as interactive and reliable AI agents。
本科Data Science到底学什么?它不只是学Python
Data Science这几年非常热门,很多学生把它理解成“编程+AI”。其实真正的数据科学,是研究:如何从大量数据中发现规律,并利用这些规律解决现实问题。本科阶段一般要学习三大基础。第一是数学。
中国人造出了那台“造AI的光刻机”吗?
(本文作者为 胡说成理,钛媒体经授权发布)文 | 胡说成理就在这两天,ForgeKernel,一个无人参与的Agent在无需参考DeepSeek原始实现的情况下,当着全网的面,把DeepSeek最新的核心算子写快了9.8%!