专栏名称: 活水智能

AI生产力专家。致力于通过AI教育、软件及社群提高知识工作者的生产力。官网：huoshuiai.com

我也要提交微信公众号

今天看啥

公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源

微博RSS订阅方法

即刻RSS订阅方法

相关文章推荐

爱可可-爱生活 · 团队工程师数从1增至7，背后逻辑值得深思：• ... · 昨天

爱可可-爱生活 · [CL]《CoT-Self-Instruct ... · 昨天

黄建同学 · 从上下文工程到嵌入生成（embeddings ... · 2 天前

量子位 · AI答IMO难题坦承“不会”，OpenAI： ... · 2 天前

爱可可-爱生活 · AI-Researcher：革新科研自动化的 ... · 2 天前

今天看啥 › 专栏 › 活水智能

依赖类型理论：知识图谱的下一个里程碑

活水智能 · 公众号 · AI · 2025-07-22 08:42

原文地址：访问原文地址
总结与预览地址：访问总结与预览
推荐产品: 推荐产品
文章地址：访问文章快照

分享到微博

推荐文章

爱可可-爱生活 · 团队工程师数从1增至7，背后逻辑值得深思：• AI Coding-20250802112652

昨天

爱可可-爱生活 · [CL]《CoT-Self-Instruct: Building-20250802055918

昨天

黄建同学 · 从上下文工程到嵌入生成（embeddings），chunking-20250801181949

2 天前

量子位 · AI答IMO难题坦承“不会”，OpenAI：这就是自我意识

2 天前

爱可可-爱生活 · AI-Researcher：革新科研自动化的全流程智能平台• 支-20250801111517

2 天前

具身智能大本营 · 国自然基金委：有的学者获得“杰青”项目后不再安心科研，转向从事行政工作！

1 年前

埃森哲中国 · AI赋能，云端重塑

10 月前

广州日报 · 孙颖莎4比0淘汰伊藤美诚，国乒提前锁定女单冠军，王楚钦4比1战胜莫雷加德

2 月前

深圳新闻网 · 深圳健康管理师报名了！符合条件补贴1000元/人，60岁内可参与

1 月前