AGI Hunt· banteg·2026-10-07 19:35· 5 小时前AI 评分30banteg 花十个月「形式化三个想法」,自嘲发现是数学既有领域AI 导读Yearn 创始人 banteg 发帖称,他终于把研究了 10 个月的三个想法形式化下来,并自嘲自己「永远不会提出任何新东西」,因为这些内容已经是一个数学领域。该帖半开玩笑地透露了他这个长期研究项目的方向。来源:AGI Hunt · agihunt.info#大佬观点查看事件全部后续