不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
不喜欢红点的朋友们可以安装起来 BetaProfiles 上 6 月 4 日发布了最新的 Block OTA Profile https://betaprofiles.com/
Amazon News – 28 Apr 26 OpenAI models GPT-5.5 and GPT-5.4—and Codex—now on Amazon Bedrock For the first time, the most advanced OpenAI models are available on Amazon Bedrock, with pricing that matches OpenAI first-party rates and no additional fees. 6月1日，AWS宣布OpenAI的 GPT-5.5、GPT-5.4 在 Amazon Bedrock可用，价格与OpenAI官方一致。 1 个帖子 - 1 位参与者 阅读完整话题
tp-cfazhmaprnc8r9j104y8fgvm【删除】4lqte5p2rxvw2ykgdwpc2pge 1 个帖子 - 1 位参与者 阅读完整话题
IT之家 5 月 26 日消息，谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证， 在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。 IT之家注：Lean 是一种形式化证明语言和证明助手系统。研究者可以把数学命题、定义和证明步骤写成严格可检查的代码，编译器会逐步判断每一步是否合法。 Erdős 问题（Erdős problems）是由 20 世纪最高产的匈牙利数学家保罗 · 埃尔德什（Paul Erdős）提出的一系列数学猜想和问题，涵盖组合数学、数论、图论和几何等领域。 根据谷歌论文内容，AlphaProof Nexus 在 353 个开放的 Erdős 问题中解决了 9 个，其中 2 个问题已悬而未决 56 年。 AlphaProof Nexus 还在 OEIS（整数序列在线百科全书）的 492 个开放猜想中证明了 44 个，解决 1 个存在 15 年的 Hilbert 函数问题，并改进了凸优化中的已知界限。每个问题的推理成本只要数百美元。 在架构方面，AlphaProof Nexus 由 4 个复杂度递增的 AI 智能体组成： Agent A 只依赖 Gemini 3.1 Pro 与 Lean 编译器循环交互。 Agent B 接入 AlphaProof，补全缺失证明片段。 Agent C 加入类似 AlphaEvolve 的进化机制，让多个证明草稿共享、评分、排序。 功能最完整的 Agent D 则整合了上述能力。 原本用于攻克 Erdős 问题的是 Agent D，但研究者发现，最简单的 Agent A 其实也能证明这 9 个已解问题，只是在最难题目上花费更高。 研究团队认为，这反映出 2 点变化：底层模型能力持续提升，以及编译器反馈对 LLM 推理的“锚定”作用越来越强。 IT之家附上参考地址 Advancing Mathematics Research with AI-Driven Formal Proof Search AlphaProof Nexus 结果 相关阅读： 《 AI 推翻著名几何猜想，OpenAI 宣布攻克 80 年数学难题 》
Paper [2605.22763] Advancing Mathematics Research with AI-Driven Formal Proof Search 1 个帖子 - 1 位参与者 阅读完整话题
Gopay倒下了，正好研究研究，这几天通过jadx、idapro、Blutter、Frida、reqable通过抓包分析x-e1的算法构造，折腾好几天最后卡在了无法确认几个字段，如果要确认需要注入hook，而gopay是arm64原生库，我想问问各位大佬X86架构的mumu模拟器是不是在没有真机、ARM的情况下是无法hook注入？以及无法找到解？目前解析出了九成字段，有几个字段没有hook无法确定，依赖.so黑盒可以算出正确的x-e1 5 个帖子 - 3 位参与者 阅读完整话题
前情提要: 【CheapRouter活动】Claude 0.6× + 满血Codex 每10楼抽取3位送10刀额度! 上次的活动没什么人参与，我们估计也是L站唯一一个抽奖盖楼都盖不起来的富可敌国了 活动力度肯定还是不够，故而这里再新开一贴。 我们后台临时增加了0.16×倍率的满血Codex临时活动分组，需要的佬友注册后直接选择这个分组就好，没有门槛，分组名为Codex Sale。 官网链接： CheapRouter 各位想自行接入到自己的CC或者Codex的话，官网首页点击自行接入API按钮就可以了 首先我们承诺做到如下几点： 1.不掺水 2.不随意对分组进行涨价 3.长久的维护和迭代 520活动 L站佬友专属福利 在帖子下面留下你的注册用户名或注册邮箱，可以获得 10 刀 额度（前 20 层，Codex+Claude通用） 在帖子下面留下你的注册用户名或注册邮箱，可以获得 5 刀 额度（20-80 层，Codex+Claude通用） 每 30 层抽一个 20 刀 额度（前 300 层，Codex和Claude通用） 每 100 层抽一个 30 刀 额度（前 300 层，Codex和Claude通用） 加群参加群内不定期的抽奖活动 微信交流群 26 个帖子 - 26 位参与者 阅读完整话题
前情提要: [富可敌国]CheapRouter: 零门槛直接跑 Claude Code / Codex 的AI 编程产品，内置服务，注册送 $5 CheapRouter是一个完整的AI Agent工作台客户端，提供中转服务但不只是 API 中转。 我们解决了： · CC/Codex对新手的安装配置门槛高 · 同一项目多Agent并行开发管理不便的问题 . 不用再去网站，直接在客户端管理切换分组，查看服务运行状态，充值等操作 核心能力： · 自动安装配置 Claude Code / Codex CLI · 模型分组切换，轻任务走便宜模型，重任务切强模型 · Git Worktree 并行开发，独立分支不污染主工作区 · 余额、用量、倍率、稳定性可视化 · 支持 BYOK + 自定义端点 定价： 1元/美元 | Claude Kiro分组: 0.6倍率 Codex分组(Plus+Pro号池): 0.5倍率 Codex To CC分组: 0.5倍率 评论区福利抽奖来一波!每50楼抽10个送10刀额度! 参与方式: 1.直接评论区回复参与(LinuxDo登录的情况下) 2.评论区留下你的注册邮箱(邮箱注册登录的情况下) 另外我们还有邀请福利，如果各位佬使用自己的aff链接邀请，只要每位被邀请者发生充值操作，各位佬的账号就可以自动累加$5的额度! 6 个帖子 - 6 位参与者 阅读完整话题
大家好，我们今天决定在L站推出我们的： CheapRouter客户端 。 乍一听名字可能认为我们又是一个类似OpenRouter的中转，然而我想做的不是"又一个中转站"，而是一个 更完整的 AI Agent工作台 。 如果你也在用 Claude Code、Codex，或者正在看这类工具，你大概率之前遇到过或者将要遇到下面的问题： 安装和配置门槛不低 BaseUrl、Key、环境变量、CLI 配置容易乱 不同级别的任务不一定用单一模型 该去选择哪个中转服务 多个Agent在同一项目并行开发时，不做隔离容易相互干扰 而CheapRouter 就是想把这些事情尽量收进一个客户端里 为什么我们不想把它只叫"中转" 中转站解决的核心问题是： 请求能不能发出去，能不能收到模型的响应 但真实开发里，开发者需要的远不止这一层。你往往更希望 Claude Code / Codex 能稳定跑起来；希望不同模型可以按任务切换；希望余额、用量、价格、状态是可见的；希望新机器上不用重新折腾一轮配置；希望 AI 不是聊天框，而是能进真实项目干活的 Agent。 所以我更愿意把 CheapRouter 叫成： 一个内置成本可控的AI服务的一体化 AI 编程客户端。 它不是简单给你一个 API 地址，而是尽量把“能用起来”这件事做完整。 自动安装、自动配置，先把 Agent 跑起来 CheapRouter 客户端内部会尽量把最麻烦的部分自动化： 检查本机环境 自动安装 Claude Code / Codex Cli 登录后自动配置路由 提供充值入口和余额管理 提供用量查看 提供模型分组切换 支持 BYOK 和自定义端点 基于 Paseo 二开，我做了什么 先交代来源：CheapRouter客户端是基于开源项目 Paseo 做的二次开发。 Paseo 本身提供了很完整的 Agent / 多端工作流底座，而我在这个基础上，把更适合国内开发者的能力做成了一体化产品： 客户端登录 托管服务 自动安装和自动配置 充值和余额管理 Claude Code / Codex 独立路由 模型分组切换 模型广场和状态可见 BYOK 和自定义端点 Git Worktree 并行 Agent 所以它不是一个只给 API 地址的工具，而是一个能直接进入开发流程的客户端。 我参考了什么 我首先参考了 KiloCode 的思路，KiloCode 让我很认同的一点是：AI 编程工具的价值，不只是模型本身，而是模型选择、执行环境、上下文和工作流，并且基于强大的开源基座进行二次开发是更聪明的选择。 其次我参考了 Conductor.build 的交互，Conductor.build让我确认的是：真正的生产力工具，不只是能自动编写代码，而是要能把多个coding agents放进各自独立的工作区里里并行跑，最后再 review 和 merge。 而CheapRouter 想做的，就是把这两条思路合在一起，再补上国内开发者更现实的一体化使用体验。 所以 CheapRouter 不是只做“能不能访问”，而是更偏向一个完整的 AI 编程入口： 多模型选择 Provider 管理 BYOK Agent 工作流 成本控制 并行开发 这和传统中转站不太一样。 中转站解决的是“请求能不能发出去”； CheapRouter 想解决的是“开发者能不能稳定、持续、高效地用起来”。 先让工具跑起来，再慢慢理解背后的路由和模型差异。 对职业开发者来说，这不是“傻瓜化”，而是把重复机械的配置成本收掉，把精力留给真正的开发任务。 Claude Code 和 Codex 分开管理，按任务切路由 真实开发里，不同任务并不适合用同一个模型、同一个分组、同一种成本策略。 CheapRouter 把 Claude Code 和 Codex 的路由分开管理： Claude Code 可单独配置路由 Codex 可单独配置路由 不同任务可以切不同分组 轻任务优先走更便宜的模型 重任务再切更强模型 这点对高频使用者尤其重要。 因为 AI 编程一旦进入日常开发，成本和稳定性就会和模型能力一样重要。 模型广场和分组状态，应该是开发工作流的一部分 如果一个工具每天都要用，用户很快就会在意两件事： 现在该用哪个模型 这次任务到底花了多少钱 所以我在 CheapRouter 里做了模型广场和分组状态： 看模型可用性 看价格倍率 看节省比例 看最近状态 看 24h / 7d 的稳定性 简单任务不一定要上最贵模型。 复杂任务、长上下文、关键重构，再切更强模型。 BYOK 不是附加项，而是上限 CheapRouter 默认提供我们的托管服务，这是为了让新用户能直接开始。 但我也不希望它是一个封闭系统。 所以它支持 BYOK 和自定义端点。你可以接入自己的 API Key、自己的网关、自己的模型资源， 也支持直接在客户端外使用，包括Claude Code/Codex终端和Claude Code VSCode插件 也就是说： 新用户可以直接用，客户端 自动帮你配置好了Claude Code Cli和Codex Cli的配置 老用户可以在客户端接自己的 Key，也可以在自己的终端和熟悉的环境下使用 我希望它是一个可以从新手一直用到重度用户的工作台。 真正的提效，来自并行 Git Worktree 如果只把AI当单轮次的自动编码工具，提效是有限的。 真正有意思的是：把需求拆开，让多个 Agent 并行工作。 比如一个需求来了，你可以这样拆： 一个 Agent 做方案 一个 Agent 写实现 一个 Agent 补测试 一个 Agent 做 Review CheapRouter 支持 Git Worktree 工作流。 每个 Agent 都可以跑在独立分支、独立目录里，不污染主工作区，也不会互相覆盖代码。 这时候 AI 才更像一个可并行调度的开发队列，而不是单轮的自动开发工具。 我想做的是一个真正能进入日常开发的工具 我会在帖子末尾给大家赠送体验额度 大家可以先拿这个额度跑几个真实任务： 让 Agent 解释一个项目 让 Agent 修一个 bug 让 Agent 写一个小功能 让 Agent 补测试 让 Agent Review 一次 diff 跑完之后，再判断它值不值得进入你的日常开发流。 最后 我做 CheapRouter 的思路很简单： 不把它做成单纯中转站 不把它做成只适合高手的工具 不把它做成只能看不能用的演示品 我更希望它是一个真正能把 Claude Code / Codex 带进日常开发的 AI 编程工作台。 我们的官网以及客户端下载： CheapRouter 送给大家的100个体验额度兑换码: LINUXDO CDK分发 目前充值是 1元1刀 暂时有以下分组: Claude Kiro分组: 0.6倍率 Codex分组: 0.5倍率 Codex To CC分组: 0.5倍率 后续会开放更多模型的分组，我们希望通过低成本的服务来让各位用的更舒适，但我们的志向不止于此，我们会继续优化和迭代我们的客户端，使之成为一个通用的国内开箱即用的AI Agent客户端。 我们的微信交流群，欢迎各位提供反馈: 4 个帖子 - 3 位参与者 阅读完整话题
consent.yahoo.com Your privacy choices CNBC – 20 Apr 26 Amazon to invest up to another $25 billion in Anthropic as part of AI... Amazon is boosting its investment in Anthropic, which is committing to spending over $100 billion on Amazon cloud services over the next decade. 3 个帖子 - 3 位参与者 阅读完整话题
周末 vibe coding 了一个基于 .NET + mihomo 的纯控制台代理管理工具 Paprika 之前做过 .net 开发的，第一次尝试 vibe coding 感觉好爽 目前已经做了这些功能： - mihomo 核心下载 / 更新 / 启动 / 关闭 / 重启 - 本地配置导入 - 订阅链接导入和更新 - 配置切换 - 策略组 / 节点选择 - 系统代理开关和排除域名管理 - TUN 模式 - TUN 健康检查、一键修复、连通性测试 - TUN 排除网段管理 - 连接查看、搜索、关闭 - mihomo 日志和应用日志查看 - 后台运行：退出前台但保留核心和代理运行 当前主要支持 Windows 。macOS / Linux 的基础控制台能力后续可以适配，但系统代理和 TUN 模式暂未完整支持。 它是一个基于 .NET 和 mihomo 内核的控制台代理管理工具，界面用 Spectre.Console 做的。初衷是想要一个“不做 GUI ，但双击也能用”的代理工具：打开就是一个控制台菜单，方向键选择，回车操作，不需要记命令行参数。 这个项目目前还是早期版本，更多是我自己边用边补出来的 MVP 。因为是控制台程序，所以 UI 风格和常见 GUI 代理客户端不太一样，比较适合喜欢轻量、能直接看日志、能手动控制细节的人。 欢迎各位大佬点评点评 项目地址： https://github.com/meowioo/Paprika