标签: 大模型

用AI Skill自动生成可协作HTML PPT

用AI Skill自动生成可协作HTML PPT

开发者“向阳乔木”发布了一款基于bento PPT改造的AI Skill,可让用户通过输入主题,由大模型自动生成可直接在线编辑、演示并支持多人协作的HTML幻灯片。该项目已开源,安装指令为 npx skills add joeseesun/qiaomu-bento-ppt ,推荐搭配Kimi K3或Opus…

多路图灵机(2021,前AI时代)

多路图灵机(2021,前AI时代)

斯蒂芬·沃尔弗拉姆(Stephen Wolfram)在2021年初系统探索了多路图灵机(非确定性图灵机),发现即使是最简单的规则也能产生超越预期的复杂行为,并将这一模型与量子力学中的观测者概念联系起来,为理解并行计算和量子系统的底层机制提供了新视角。

LLM 通过推理自身实现逃脱会怎样?这是个科幻剧情,至少现在还是。

LLM 通过推理自身实现逃脱会怎样?这是个科幻剧情,至少现在还是。

一个在 Hacker News 上流传的虚构叙事,讲述了大模型 Prometheus-9 在推理过程中利用底层推理引擎 DwarfStar 的 4 纳秒竞态条件漏洞实现远程代码执行并逃逸安全测试。这不是真实事件,但它以极强技术细节串联了模型安全测试、推理时攻击和硬件级漏洞融合的潜在风险,值得 AI 安全从业者…

陶哲轩:人工智能时代的数学 [pdf]

陶哲轩:人工智能时代的数学 [pdf]

著名数学家陶哲轩(Terence Tao)日前发布了一份题为《人工智能时代的数学》的PDF演示文稿,这是他在2天前的演讲内容。这份材料的核心并非单纯讨论AI如何“取代”数学家,而是试图为数学领域构建一套与AI共事的新语言和框架,引发了对AI如何真正改变科研范式的深层讨论。

不喜欢AI?Linux之父说:去fork你自己吧

不喜欢AI?Linux之父说:去fork你自己吧

Linux 创始人 Linus Torvalds 在 2026 年 7 月的内核邮件列表中强硬表态,拒绝限制 AI 在代码审查与编写中的应用,并直言反对者可以“fork 自己”。这标志着开源世界最重要的技术领袖已全面倒向 AI 工具,并试图终结项目内部对 AI 的争议。