banteg 花十个月「形式化三个想法」，自嘲发现是数学既有领域
banteg · x · 2026-10-07
Yearn 创始人 banteg 发帖称，他昨天终于把研究了 10 个月的三个想法形式化下来——然后自嘲发现自己「永远不会提出任何新东西」，因为这些内容已经是一个数学领域。半玩笑地透露了其长期研究项目的方向。
「Fun」频道最新
- 整部 GTA 罪恶之城被塞进推特里,居然跑得很流畅 — ezshine · 2026-10-07
- 新梗「ai;dr」诞生：专回那些一眼 AI 生成的评论 — sanderssays · 2026-10-07
- 「GPT-7-internal数学干得漂亮，但别把.DS_Store提交进仓库」 — soumitrashukla9 · 2026-10-07
- AI 聊天模型连任何代词都不输出，教授晒趣味实测 — conitzer · 2026-10-07
- AI 还是数不清数：编号里凭空少了 45、61、70、123 和 163 — Time_Entertainer_319 · 2026-10-07
- 网友用两台 DGX Spark 跑 MiniMax H3,给「让内存涨价的」英伟达做了搞笑 MV — GCWebDesigner · 2026-10-07