科研全周期」共找到 2233 篇相关文章

产品应用7

火爆网的Skills,终于有了最简单的打开方式。

扣子更新到2.0版本,上线Skills和长期计划功能。Skills很火但现有支持产品对普通人门槛高,扣子降低了其使用和创建门槛,还提供两种创建方式;长期计划能帮用户定目标做规划,但有一些不足。

数字生命卡兹克
算法论文7

用超图撕开知识边界:16万节点无师自通搞Agentic科研

传统知识图谱只能用三元组描述世界,难以应对真实科学场景里的多体交互。作者提出将文献里n元关系存成超图超边,让LLM在多智能体框架里‘沿着超边走路’,并构建了超图进行实验,实现可验证的科学发现。

PaperAgent
新闻资讯8

李飞飞站队LeCun,AGI是炒作!80分钟重磅爆料出炉

李飞飞在Lenny Rachitsky播客中回顾AI发展,揭秘秘辛。她认为AGI是营销用语,世界模型才是未来十年AI前沿。还谈到ImageNet诞生、机器人困境等,其创业公司World Labs的Marble平台应用广泛。

新智元
算法论文8

刘鹏飞组发布上下文工程2.0:人机交互的新视角

刘鹏飞组论文《Context Engineering 2.0: The Context of Context Engineering》重新梳理上下文工程领域。它追溯其20多年历史,给出形式化定义与四阶段模型,探讨关键问题,将其从技术技巧升为系统学科,为理解人机交互提供新视角。

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

OpenAI与Anthropic罕见合作:竞争对手联手测试AI安

OpenAI和Anthropic完成联合评估,用内部工具测对方模型并公开结果。测试覆盖指令层级、越狱等四大领域,还发现不少细节和道德困境情况。此次合作意义重大,为行业树立安合作先例。

AGI Hunt
开源动态8

网惊了!陶哲轩带AI下场,33分钟「盲证」数学

菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具,数天迭代至2.0版,可自动或半自动证明。还支持渐近估计,上手简单、可扩展性强。此外,他用AI 33分钟“盲做”一页数学证明,重塑研究范式。

新智元
推荐文章7

中国AI突破「造芯方法论」!Agent军团接管芯片设计流程

RSI成人工智能前沿方向,芯片设计因有确定性验证体系,成其率先落地赛道。NovaSilicon完成融资,探索出芯片设计智能系统,发表论文介绍构建运行方法,将重塑行业。

新智元
开源动态8

把本地 AI Agent 接到飞书/微信:一个工具搞定

cc-connect是开源工具,可把本地AI编程Agent桥接到任意聊天平台。支持10+主流AI Agent、12大聊天平台,有多Agent编排等功能。v1.3.0版更新实用功能,3分钟可完成配置。

小华同学ai
8

谷歌搜不到的80%互联网,AnySearch打通了!开发者连夜接入

2026年5月11日海外上线的AnySearch,定位AI时代「搜索基础设施」,专为AI Agent打造统一高质量搜索入口。上线一周在海外开发者圈爆火,经测试性能优于同类产品。通过不同场景实战,展现聚合广度、专业深度等四层能力。

新智元
新闻资讯7

突发,马斯克xAI解散了!22万张GPU忍痛给Claude

马斯克官宣解散xAI并入SpaceX,同时将球最强超算Colossus 1租给Claude。此前xAI与OpenAI竞争不利,Grok表现不佳且亏损严重。马斯克此举类似谷歌策略,可赚钱、扶持对手、盘活资产,还在法庭起诉OpenAI。

新智元