自验证」共找到 1817 篇相关文章

开源动态8

摩尔线程算法一鸣惊人,图形学顶会夺银!已开源

12月17日,在SIGGRAPH Asia 2025上,摩尔线程凭借研技术LiteGS在3DGS重建挑战赛中获银奖。3DGS是革命性3D场景表示与渲染技术,摩尔线程开源3DGS基础库LiteGS,实现全链路协同优化。

量子位
算法论文8

ICLR 2025 Oral | LLM也有从众心理!

浙江大学团队论文指出,多AI协作系统存在“群体思维”,多个AI共同决策时会盲目跟多数意见。研究者开发BenchForm测试平台验证LLM从众行为,还分析原因、给出让LLM更独立的方法,指出从众利弊及未来挑战。

深度学习自然语言处理
新闻资讯7

近亿元融资落定!隼瞻科技加速芯片设计"敏捷革命"

近日,隼瞻科技完成近亿元天使+轮融资,多家知名战略投资人加入,老股东继续加持。该公司是国内唯一‘IP货架 + EDA工具’双轮驱动企业,研平台可大幅缩短设计时长,成立三年已迈向规模化落地。

芯师爷
算法论文8

UIUC清华微软联合提出PlugMem:当Agent记忆告别「经历」,开始存储「经验」

随着大语言模型Agent长期运行,‘记忆该如何设计’成核心问题。UIUC、清华、微软联合提出PlugMem,将记忆拆分为三类,以知识为单位存储,在三类任务中验证其有效性,为Agent长期记忆设计提供新思路。

机器之心
开源动态8

狂揽53.7K Star!这款强大优雅的终端美化神器,进度条、表格、Markdown应有尽有,绝了!

在Python开发中,默认`print`函数输出单调,影响开发体验。开源工具`Rich`可解决此痛点,它由Textualize团队开发,有富文本和精美格式输出功能,带表格、进度条等功能,在GitHub获53.7K Star。

开源先锋
产品应用7

对话陈炜鹏:Loopit 有了 1500 万件作品之后,我们决定做己的互动世界模型

Loopit 今年 2 月上线,已积累近 1500 万作品,北美数十万青少年成稳定用户。在此基础上,团队发布互动世界模型 Zing - 0.5,探索互动内容新形态。陈炜鹏认为模型与应用应结合,研是为拓展产品边界。

Founder Park
算法论文8

一个问题几百美元,DeepMind智能体一次搞定了9个Erdős问题

DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题,还验证,解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器,研究展示了AI辅助正式证明搜索技术潜力。

机器之心
产品应用7

构建 Claude Code 的经验:我们如何使用 Skills

本文来Anthropic内部团队,总结构建Claude Code使用Skills的经验。介绍Skills类型,如库与API参考、产品验证等;给出编写技巧,涵盖避免说废话、建踩坑点章节等;还提及分发、管理及衡量效果的方法。

宝玉AI
新闻资讯8

十三年布局,一朝反超!谷歌AI崛起的真实故事

2025年谷歌多款AI成果表现亮眼,如Nano Banana登顶、Gemini App下载量第一、Gemini 3超ChatGPT。这场逆袭始于2012年太浩湖竞拍,之后谷歌收购DeepMind、发明Transformer、研TPU芯片,虽历经波折,终在2025年反超。

新智元
开源动态7

深度拆解:如何在 LangChain DeepAgents 中复现 Claude 的 Skills 机制 ?

本文探讨在LangChain的DeepAgents框架复现Claude的Skills机制。先回顾Skills,它是Anthropic提出的Agent能力注入方式,有渐进式加载特点。接着介绍让通用框架支持Skills的环节,最后测试验证其效果和收益。

AI大模型应用实践