类型检查器」共找到 418 篇相关文章

产品应用7

6个Agent组团Vibe Gaming:自己生成、试玩、修Bug

过去大模型生成的游戏虽代码能跑,但常陷入“可玩性黑洞”。Spellcaster让多个专用Agent协同处理,形成“生成—运行—检查—修复”循环。目前能快速生成多种游戏原型,未来将用世界模型直接生成画面。

量子位
新闻资讯7

两个小时,10美元,Karpathy做了一个《指环王》3D游戏

Andrej Karpathy 让 Opus 5 根据《指环王》开篇文字,用 Three.js 制作三维场景,成本约 10 美元,两小时写出 5500 行代码。虽效果粗糙但有趣,他设想未来大模型能按需生成虚拟世界,不过也暴露大模型难以检查成果的问题。

机器之心
算法论文8

LLM规划能力飙升79%!Google:内在自我批评技术拿下多项SOTA

Google DeepMind研究《通过内在自我批评提升大语言模型的规划能力》,不借助外部验证,让LLM反复“自评+重写”,使Blocksworld准确率从49.8%升至89.3%,还介绍了方法及跨模型验证情况。

PaperAgent
产品应用7

Hermes推出Curator功能:自动清理Skill 仓库

Hermes推出Curator功能解决技能仓库膨胀问题。它每7天(可配置)自动运行,检查技能使用频率等数据,将30天未用技能标记为‘stale’,90天未用的移至归档目录,还能建议技能合并方案。

AI工程化
开源动态7

本文关注vllm V1中管控模型分布式推理的Executor部分,介绍其类型、Executor-Workers架构及数据传输机制,对比V0架构优势,以单机多卡的MultiprocExecutor为例展开讲解,还提及不同数据量的传输方式及相关代码。

猛猿
算法论文8

Transformer已死?DeepMind正在押注另一条AGI路线

谷歌团队借鉴人类联想记忆,提出嵌套学习,解决AI「灾难性遗忘」问题。强调优化与架构协同进化,构建联想记忆系统。HOPE架构在多任务表现出色,或开启AI从被动训练到主动进化大门。

新智元
推荐文章7

搞不懂Skills?看看Claude Code内部工程师们是怎么玩的

文章来自Anthropic的Claude Code团队工程师,介绍了Claude Code中Skills功能。阐述Skills定义、类型,给出制作技巧,如避免陈述显而易见内容、构建陷阱部分等,还提及分发、管理、组合及衡量效果的方法。

机器之心
推荐文章7

2025值得一看的31件AIGC作品

2025年AIGC成连接历史与未来的‘文化转译’。文章盘点MANA网站31件优秀AIGC作品,涵盖与各领域结合形式,呈现与历史对话、激活即时艺术等4大创作趋势,展现AIGC多元玩法。

MANA新媒体艺术站
开源动态8

这个开源 SKill,把 AI 短剧制作变成了一条可复制的工业流水线!

AI短剧圈子现开源项目shuohao - skills,是给AI编码助手用的“插件”。它将小说到可投产素材流程拆成五个模块,有清晰设计理念,每步有代码级质量检查,核心亮点多,能实现稳定生产。

开源星探
算法论文7

一针注射,体外控波,科学家研发新型无线神经刺激重塑疼痛管理

全球约20%成年人受慢性疼痛困扰,现有神经刺激设备有局限。纽约大学阿布扎比分校等团队研发SEED可注射无线神经刺激,大鼠实验实现坐骨神经精准刺激,但面临效率、电荷平衡等问题。

DeepTech深科技