(评论)

(评论)
(comments)

原始链接: https://news.ycombinator.com/item?id=43443640

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 Scallop – 一种用于神经符号编程的语言 (scallop-lang.org) 6 分，作者 andsoitis，45 分钟前 | 隐藏 | 过去 | 收藏 | 1 评论 FloorEgg 6 分钟前 [–] 自从我了解了范畴论及其与符号推理的关系后，我就怀疑 AGI 将来自对符号推理和概率推理的优雅结合。这是我见到的第一个似乎朝着这个方向发展的项目。非常酷。回复加入我们 6 月 16-17 日在旧金山举办的 AI 初创公司学校！指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们搜索：

（评论） 2025-03-19

（评论） 2025-03-18

（评论） 2025-03-21

原文

login

		Scallop – A Language for Neurosymbolic Programming (scallop-lang.org)
		6 points by andsoitis 45 minutes ago \| hide \| past \| favorite \| 1 comment

FloorEgg 6 minutes ago [–]

Ever since I learned about category theory and its relationship with symbolic reasoning I've suspected that AGI will come from elegantly combining symbolic reasoning and probabilistic reasoning. This is the first project I've seen that seems to be positioned that way. Very cool.

reply

(评论) (comments)

(评论)
(comments)