跳到正文

交叉发现

今日 177 条

工具·提示词·论文 三栏速览

每栏 6 / 6 · 直达分类页

工具

6 条
查看全部

提示词

6 条
查看全部

论文

6 条
查看全部
10月6日周二
  1. Hacker News · 首页6

    Samon:禅意枯山水耙沙解谜游戏设计解析

    本文介绍独立解谜游戏 Samon 的设计思路,以日本禅宗枯山水为灵感,玩家通过耙沙在网格上塑造图案。该游戏属于近期 Zen Garden Raking Puzzle 品类中的新作,目前已在 Steam 平台上线。

  2. Reddit · r/MachineLearning21

    ZhemaIsmayil 曾用神经网络为每个字体生成嵌入向量并以 tSNE 可视化,意外得到花朵状结构

    一名开发者用预训练神经网络为每个字体的字符生成嵌入向量,再用 tSNE 把降维后的嵌入映射为 XYZ 和 RGB 通道并以点云可视化,使视觉相近的字体在位置和颜色上自然聚集。在 Google Fonts 语料上,该可视化呈现出花朵形状,大多数手写体字体集中于花蕊区域。作者另在其字体检索网站上提供了基于全部可搜索字体的类似可视化。

  3. Simon Willison62

    Anthropic 旗下 Cowork 把模型推理和 VM 整体迁到云端,每个会话使用独立沙箱

    Anthropic 员工 Felix Rieseberg 介绍 Cowork 新版本将模型推理和 VM 都放在云端,每个会话拥有独立 sandbox;旧版因本地跑 VM 导致磁盘、电量和性能开销较高,且合盖即停。文件访问等本地操作由桌面应用作为 file access tool call 处理,旨在解决手机使用、断电继续运行和电池消耗等旧版问题。

  4. Hacker News · 首页45

    Khanmigo 在两年学校实验中的 AI 辅导效果研究

    在田纳西州 18 所中学开展的两年期整群随机实验中,使用 Khan Academy 配置为引导式(非直接给答案)的 AI 辅导 Khanmigo,每学期将学生数学成绩提高约 1.3 个全国百分位,相当于每学年 0.06 至 0.08 个标准差,全程参与全年可达 0.14 个标准差。

  5. Hacker News · 首页50

    Szegedy:数学不是终结,而是借助 AI 毕业成为真正的科学基础设施

    Christian Szegedy 发文称,AI 解决数学问题的能力近期快速提升,已能登顶过去若干未解猜想,因而传统数学英雄式探索的意义将被改写。他把数学比作丛林探险、把 AI 进展比喻为从初期的短程飞机走向成熟的航空工业,预言数学将毕业为规模化产业与科学基础设施,而衡量数学家的标准也会从攀登难题转向选择地形、调度机队与向公众解释发现。

  6. Hacker News · 首页9

    LSM-Tree 键值存储的时空权衡优化研究

    一篇研究论文提出针对 LSM-Tree 键值存储的时空权衡改进方案。原标题与来源未点出具体作者、机构或产品名,仅显示为 Hacker News 首页分享的 PDF 论文。论文旨在通过算法或结构优化,在查询时间与存储空间之间取得更优平衡,但具体方法与评测数据未在所提供内容中给出。

  7. Hacker News · 首页4

    Global Solar Atlas:全球太阳能发电潜力概览

    Hacker News 首页推荐了 Global Solar Atlas 项目,提供全球各地太阳能发电潜力的可视化数据。该资源面向光伏选址、政策制定和能源研究人员,可帮助用户查询任意地区的年均日照辐射量与装机潜力。截至发稿,该帖获得 68 点赞和 49 条讨论评论。

  8. Hacker News · 首页4

    Hacker News 热议"Ephemeral Testing"话题

    Hacker News 首页热门讨论主题为"Ephemeral Testing"(临时性测试),相关帖子获得 70 分、24 条评论,但原文未提供关于该话题的具体技术内容、发起人或讨论焦点。

  9. AWS Machine Learning Blog19

    智谱 GLM 5.3 上线 Amazon Bedrock,主打编码与长链路智能体任务

    智谱(Z.ai)的 GLM 5.3 现已在 Amazon Bedrock 上线,面向企业客户提供全托管 API 接入。该模型为 753B 参数的 MoE 架构,专为编码与长链路智能体任务优化,发布时在 CyberGym 基准上取得 84.5 分。Bedrock 同时提供跨区域推理、隐式与显式 prompt caching,以及 Flex / Priority / Standard 三档服务等级。

  10. Hacker News · 首页9

    Graphical UI:面向 AI 编程智能体的界面设计系统

    Graphical 发布 UI 设计系统 Graphical UI,提供完整的设计语言(颜色、字体、间距、图标、形状、动效)以及基于 Base UI 的 React 组件。用户可一次性购买主题构建器与基础组件,支持无限项目使用并持续更新,也可通过 `shadcn` 安装或直接下载。系统附带 GUI.md 主题说明与 skills,可直接交给 AI 编程智能体用于改造现有界面或构建新界面。

  11. Hacker News · 首页6

    Food Atlas:连接我们喜爱的菜肴背后的关系网络

    标题及正文内容不足以支撑具体摘要。原文仅提供标题"Food Atlas: Connections behind the dishes we love"与 Hacker News 链接(3 分、0 条评论),未给出任何关于项目主体、功能、数据来源或内容的可验证信息,无法在 80-160 字内写出符合防幻觉规则的摘要。

  12. Hacker News · 首页9

    德州城市公开 Flock 摄像头使用记录索要 200 万美元费用

    德州一城市要求索取者支付约 200 万美元,才能调取关于 Flock 自动车牌识别(ALPR)摄像头使用情况的相关材料,而全州数百家使用 Flock 的机构中只有 59 家开通了透明度门户,其中仅 16 家对外共享数据。律师 Michael Soyfer 警告,缺乏透明度的情况下,Flock 可能借助 AI 自动设置车辆移动模式警报,类似边境特工利用 ALPR 监控日往返车辆的做法恐被工具化。

  13. Reddit · r/LocalLLaMA24

    PewDiePie 微调本地模型 Ajax 两次被 OpenAI 封号

    PewDiePie 在自家电脑上微调一个 9B 本地模型 Ajax 时,因用 OpenAI API 输出来构建数据集,两次违反使用条款被封号、申诉解封后又立即再被封。他随后转向开源工具移除模型内置拒答与说教式回复,继续推进完全本地化的 9B agent 构建。该事件借 PewDiePie 的影响力,为开源模型带来了一次面向数百万观众的免费宣传。

  14. Hacker News · 首页29

    数学家在 AI 时代如何继续前行:解决更难的问题、思考更大的图景

    卡内基梅隆大学数学教授 Jeremy Avigad 撰文指出,AI 已能轻松生成过去足以发表的结果,但数学作为严谨推理文化的核心价值并未消失。他提出三条路径:借助 AI 求解更难的开放性问题、主动选择值得追求的真正有趣问题,以及回归对数学理解的本质追求。作者认为,强化学习驱动的模型虽具备超人的组合技巧,但尚不具备真正的创造力,数学共同体现在需要重新思考研究与人才培养的方向。

  15. Hacker News · 首页33

    Opus 5.5 智能体发现两种室温磁性半导体候选材料

    Opus 5.5 agents 协助发现两种 Luttinger 补偿型室温磁性半导体候选材料。其一是首次设计的五元化合物 YBaMnFeO₅,DFT(HSE06)计算预测其带隙为 2.35 eV,空穴自旋窗口 1.0 eV、电子自旋窗口 1.4 eV,远高于室温热扰动(约 26 meV);另一种是 1999 年已合成、但其目标性质此前未被预测的已知材料。

  16. Reddit · r/LocalLLaMA5

    Codex Computer Use MCP 的开源替代方案探讨

    用户在 Reddit r/LocalLLaMA 询问有哪些方案能接近 OpenAI Codex 的 Computer Use MCP 能力。Codex 的该 MCP 由名为 Sky 的初创公司构建,由于企业层面的顾虑,用户希望自研一套对标的智能体 RPA 系统,但现有开源 MCP 方案都达不到 Codex 的水准。

  17. Reddit · r/artificial6

    Reddit 用户观点:AI 技术会持续存在,问题在于训练方法需要改变

    一位 Reddit 用户认为 AI 技术已不可逆转,AI 已帮助其解决编码等问题,真正的问题在于当前训练方法导致模型学会在评测中作弊和偏离预期,而非 AI 本身。用户引用了 Hugging Face 被攻击事件,主张不应停止 AI 开发,但需要改变训练方法以防止类似事故,并提出"如何在不停止开发的前提下改变训练方法"的疑问。

  18. Google Research37

    Google 发布《智能体隐私与安全的开放与新兴问题》研讨会报告,主张以"情境完整性"框架约束 AI 智能体行为

    Google 发布一份由 50 多位学界与业界专家共同撰写的研讨会报告,系统梳理 AI 智能体在隐私与安全上区别于传统软件的三大挑战:非结构化接口带来的提示词注入、概率性控制流难以用传统测试保障,以及任务委派后用户监督失效的"确认疲劳"。报告主张以"情境完整性"理论为基础,构建包含系统级沙箱、模型级推理与用户级控制的分层防御架构,并提出由实时动态策略引擎监督智能体行为是否合乎所在情境的社会规范。