等式理论项目」共找到 1380 篇相关文章

新闻资讯8

清华姚班大神陈立杰,联手00后逆向破局!颠覆50年计算机难题

50年来,顶尖科学家死磕「旅行商问题」等计算机复杂性难题无果。清华姚班陈立杰等人在《Reverse Mathematics Below the Turing Jump》论文中,采用「逆向数学」方法,发现许多理论底层逻辑等价,颠覆千年思维范式。

新智元
产品应用7

吴恩达手搓新项目:AI审稿人上线!只为终结学生“3年被拒稿6次”的痛苦

吴恩达开发新项目 Agentic Reviewer 代理审稿人,灵感源于学生3年论文被拒6次。此工具能加快研究人员迭代速度,在 ICLR 2025 评审数据测试中接近人类水平,适用于 arXiv 公开研究领域。

AI寒武纪
开源动态7

新玩法!Karpathy周末手搓“大模型智囊团”应用:各大LLM同台互评,代码已开源

Andrej Karpathy周末手搓Web应用llm - council,让多个大模型像顾问般提供建议。查询通过OpenRouter分发给多个大模型,它们互评后由‘大模型主席’生成最终回复,代码已开源。

AI寒武纪
开源动态8

这款开源AI卡片笔记,让我果断卸载了Obsidian!

开源君推荐开源项目Blinko,它是自托管、AI驱动的个人笔记工具,主打“快”与“智能”,将RAG技术和LLM能力融入笔记管理,数据自主可控,适合注重数据安全和知识管理的人。

开源先锋
开源动态8

开源 VibeSDK:把一句话变成线上应用,用它一键搭好自己的 AI平台

Cloudflare VibeSDK 是开源 AI vibe coding 平台,跑在 Cloudflare 开发者生态上,支持自然语言生成全栈 Web 应用,有分阶段代码生成、交互式聊天等功能,适用于多类人群和场景,还对比了同类项目

小华同学ai
推荐文章7

强化学习 AI 系统的设计实现及未来发展

本文是阿里巴巴算法专家曹宇在 AICon 2025 北京站的分享,结合算法实践展示 RL 系统现状及发展脉络,探讨未来超大规模 RL 发展方向,涉及理论基础、业界实践、开源生态及社区共建。

AI前线
算法论文8

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

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

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

永别了,死亡!她用AI「复活」丈夫,让爱重生

丹麦Katrine在丈夫Stephan患癌晚期后,与其打造数字分身「AI - Stephan」。初期试错后,专家基于MBTI理论创建新模型成功。但这也引发心理依赖、人格权益及悲伤疗愈等伦理问题。

新智元
开源动态8

6K+ star神器!Docker也能跑桌面了,安全隔离还能硬件加速,太绝了!

文章介绍开源工具`x11docker`,它专为 Docker、podman 等设计,能让图形应用在容器正常运行,增强隔离性、避免安全隐患。该项目获 6K+ Star,功能丰富,安装使用简单。

开源先锋
产品应用8

制造企业如何实现 AI 产品经理“能力复制”?|极客时间 AI 人才培养实践

在数智化转型中,企业开展AI培训却难转化业务价值。极客时间与制造企业合作,用“线上+线下+实战”的OMO训练营,实现AI产品经理“能力复制”,成果获认可,模式可复制。

InfoQ