推文

@jinglian · 2026-10-12 23:22

🔥 3天狂涨10万Star！ 这绝对是今年最硬核的开源项目。 点开爆款项目「REA」作者的主页，直接看跪了👇 ━━━━━ 🏆 破解33年数学悬案 他不仅是顶尖开发者，最近还用 Lean 语言写代码，破解了悬置 33 年的【埃尔德什问题 #81】。 🛠️ 专给 Agent 造重武器 🔹 REA：逆向一切，从 App 行为硬拆到二进制 🔹 Jacobian：Agent 专属的精准数学核验工具 🔹 LeanToken：帮 Agent 极限节省 Token 消耗 🌟 顶级开源圈幕后推手 OpenAI Triton、NVIDIA NeMo、清华 slime 都有他的核心贡献。连 gstack 除创始人外的【首个 PR】也是他写的！ 📌 极客荣誉大满贯 主页挂着三枚极难获取的 GitHub 满级金徽章。 （Starstruck、Pull Shark、Pair Extraordinaire 全部 x4） 建议立刻去膜拜真正的大神👇 https://github.com/morluto

曝光 528 · 评论 0 · 点赞 2 · 书签 2 · 曝光/时 27.52525285505036