每日精选 15000 页数学证明，AI 用 24 天写成 5000 万行 Lean 代码全验证了 人类科学史上规模最大的数学证明，刚刚被 AI 彻底验证了。100 多位数学家耗时几十年、写成 15000 页巨…
搞钱副业 A 股也有 AI 投研团队了：TradingAgents-Astock，7 位分析师多空辩论出报告 有人把 TradingAgents 改造成了 A 股专用的 AI 投研团队，连游资、龙虎榜、限售股解禁都安排了…
AI工具 Codeg：把 Claude Code、Codex、Grok 收进同一个地方，让多个 AI 编码智能体协同干活 手里同时用着好几个 AI 编码智能体，来回切工具、切会话，活儿一散就很难协同。Codeg 想解决的就是这个：一…
