搜索
OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。
Claude证明超67%黎曼zeta零点位于临界线上，数学家Youness Lamzouri随后用更简洁的希尔伯特空间不等式给出了优雅的重新证明，AI工具AxiomProver在数小时内于Lean中完成自动形式化验证。
AI陪伴产品「Zeta」8月分成后月流水突破千万美元，日本市场贡献超八成，其通过免费开放高级剧情工具培养多角色剧情深度用户，使用户主动为去广告权益和高级模型付费。
黎曼猜想，差点被攻克了！今天，Anthropic重磅发文，让内部研究版Claude去证明「黎曼猜想」，结果失败了。但Claude却在这一世纪难题，取得了重大突破——它成功将符合猜想的黎曼Zeta函数零点比例下限，从41.6%一口气拔高到了67.2%。
凌晨往往是AI陪伴类应用的使用高峰。
最近《新京报》曝光的“国内首起 AI 服务提供者涉黄获刑案件”，为明显降温的国内 AI 社交市场又蒙上了一层阴霾。但隔壁的韩国市场似乎呈现了一种全然不同的面貌。
最近，专注做AI转型的Zeta Alpha对2023年引用次数最多的 AI 论文进行了排名，列出了影响力最高的100篇论文，引发了业界热议，并且就论文的机构也做了一个梳理。