跳到正文
原文
AGI Hunt· banteg·· 5 小时前AI 评分30

banteg 花十个月「形式化三个想法」,自嘲发现是数学既有领域

AI 导读

Yearn 创始人 banteg 发帖称,他终于把研究了 10 个月的三个想法形式化下来,并自嘲自己「永远不会提出任何新东西」,因为这些内容已经是一个数学领域。该帖半开玩笑地透露了他这个长期研究项目的方向。

来源:AGI Hunt · agihunt.info