人工智能 - CodeNest 代码巢穴

克雷数学研究所就 Navier-Stokes 问题发表公开声明

OpenAI 本周早些时候宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚，于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。Navier-Stokes 问题是克雷数学研究所列出的七大千禧年数学问题之一，它为每道题的解决提供了一百万美元奖金。目前七大问题只有庞加莱猜想确认解决，但解决该问题的俄罗斯数学家格里戈里·佩雷尔曼拒绝接受该奖。克雷数学研究所就此公开声明，表示将根据其评奖流程确认成果。根据克雷数学研究所的规则，OpenAI 首先需要在同行评审的期刊上发表解题结果，需要至少发表两年并且获得数学界的普遍认可。OpenAI 至今没有给出 Navier-S

人工智能 09-12 13 Solidot 奇客资讯

[分享创造] Brosis-把整个 Mac 变成你 Agent 的上下文

我自己有个需求，就是在使用 mac 的时候，想要无感的收集我所有 mac 里的内容作为上下文，让我的 agent 可以调用，于是我搓了了软件，名字叫 Brosis 。Brosis （ macOS 26+ / Apple Silicon ）是一枚住在菜单栏里的本地活动记录器：它把你在 Mac 上看过、写过、用过的屏幕内容，整理成一条可检索的时间线，通过 MCP 交给你的 AI Agent 。数据不出本机，理解层不靠大模型。github 地址： https://github.com/AllenBall/brosis微信图文地址： https://mp.weixin.qq.com/s/xLXXe2N

人工智能 09-12 19 V2EX

[分享创造] 开源 RED：让 AI 持续理解项目，和你一起把想法做成产品

我们从 GPT-4o 发布后开始，持续把 AI 用在软件开发里。一个项目从最初的想法走到可用的产品，需求要边做边聊才能讲清楚，方案会随着调查和反馈调整，实现之后还要维护。我们希望 AI 能持续理解项目，参与这个完整过程，并把过程中形成的认识和决定积累下来，支持后续工作。所以整理了 RED （ Research 、Evolve 、Document ），并做成了开源 Skill 和配套 CLI： Research：问题、调查发现和建议，保留判断所需的上下文。 Evolve：当前获准推进的改动、方案、进展和验收要求，随反馈更新。 Document：已经接受的结论，整理进项目原有的使用、开发或维护

人工智能 09-12 22 V2EX

[分享创造] vb 了两个摸鱼小游戏，朋友玩了说很上头，分享一下

都是像素风格的网页小游戏，存档在本地，支持导入导出。一个是用 ds-flash 生成的，一个是用 glm-flash 生成的。开发速度非常快，主要时间花在了设计美术资源和经济系统上面。游戏玩法捋清楚 AI 一轮基本就生成了。《像素小集市》你是个跑单帮的小货郎，开着货车往返各地，低买高卖盯着实时行情，还得提防查私扣货。 https://zishu.me/p/pixel-bazaar/ 《暖阳农场》种植作物、浇水施肥、收获售卖，在宁静的像素农场里体验田园生活，升级你的农场。

人工智能 09-12 20 V2EX

[分享创造] [抽奖] DropToDo 更新了，来个福利抽奖活动！

各位 V 友，大家好！最近给 DropToDo 加了个新功能。本期为大家带来一波 App Store 兑换码抽奖福利！更新内容现在输入任务后，可以直接点击旁边的时间：日历选择日期精确设置时间快速选择预设时间最远支持 90 天后的提醒另外也做了一些性能和稳定性优化。整体还是保持简单：拖下来，输入，完成。 https://droptodo.app App Store 下载地址欢迎大家体验，有什么建议也可以直接说抽奖福利 [App Store 兑换码 10 个 · 送福利] 各位 V 友快来当分母！ 🎁 奖品介绍奖品：App Store 兑换码数量：10 个（中奖者

人工智能 09-12 19 V2EX

25 名菲尔茨奖得主发表公开信批评 AI 公司

包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》，批评 AI 公司最近的所作所为。公开信称，“过去几个月 LLM 的数学能力有飞跃式提升，甚至达到了能解决数学领域重大悬而未决问题的地步。但各大 AI 公司仅仅将解决数学问题作为基准测试（Benchmark）推动的技术竞赛，却对数学这门科学以及整个数学界构成了伤害。AI 公司的目标与数学界的本质目标之间存在着严重错位（Misalignment）。”这是 AI 影响科学与创意行业乃至整个社会的对齐（alignment）危机的一个缩影。“最近几个月

人工智能 09-12 17 Solidot 奇客资讯

[分享创造] Codex 额度不够用，我开发了一个 SerenaDesktop 项目，让 ChatGPT 负责思考， Codex 负责干活

社区已经有类似的项目，比如 taskquay ，就是 ChatGPT 负责思考，Codex 负责干活。恰巧我最近 20x 的 Codex 的总是不够用，就想起来让 ChatGPT 给我思考下一步该怎么干，让后写出提示词我复制后粘给 Codex ，让 Codex 帮我干活。这明显有个问题，就是 Codex 本地的文档和代码，ChatGPT 是看不到的，时间长了就会出现偏差，导致后面 ChatGPT 给的方案越来越离谱。于是我就想能否让 ChatGPT 读取本地文件呢，问了 ChatGPT 他说可以使用 MCP 服务，将本地文件共享给它，他就能够读取本地文件了。于是就出现了第一个版本的

人工智能 09-12 30 V2EX

[程序员] 趁 AI 的黑箱观察窗口还没关闭前，尽可能学习一些硬核的东西吧

最近 AI 圈的瓜不少，吃腻了。我开始更关心另一件事：**趁黑箱还没有焊死，到底有哪些东西值得现在学。**某种意义上，我们现在正站在个人电脑的早期。机箱还没封，电路图还能找到，工程师还在论坛里互相吵架，论文、模型权重、Agent 架构、Eval 、训练方法、失败案例，到处都在往外漏。因为行业还在抢用户、抢开发者、抢市场。这个阶段，大家为了证明自己更强，会主动公开很多东西；为了互相攻击，又会被迫暴露一些本来不想公开的东西。但这种状态不会一直持续。等江湖地位稳定、商业模式成熟、产品包装完善，未来我们看到的可能只剩：**Upgrade to Pro**然后产品告诉你：“无需理解任何技术，我们替你处理

人工智能 09-12 19 V2EX

[推广] ChatGPT Plus 代充：原账号办理，支持支付宝、微信和开票

大家好，我是 ChongGrok 的运营。我们提供 ChatGPT Plus 代充，给你已有的账号办理会员，支持支付宝和微信付款，充值后可申请开票。如果你已经决定开 Plus ，正在找代充服务，可以先看下面的办理条件，再决定是否下单。商品入口在这里：ChongGrok 的 ChatGPT 服务页。会员开在哪个账号？哪些情况要先确认？会员开在你自己的 ChatGPT 账号上。完成后继续用这个账号登录 ChatGPT 官方网页或 App ，沿用原来的对话，不需要换一个账号。付款前，请先确认目标账号可以正常登录，并查看当前套餐。如果账号已有 Apple 、Google Play 或网页渠道的

人工智能 09-12 18 V2EX

[分享创造] 我做了一个面向程序员、免登录、带 FSRS 的英语学习工具

分享一个我给自己做的英语学习工具：**lianxi.site**。省流版：符合认知科学原理。沉浸式学习，支持 Vim 风格快捷键。高质量语料。数据驱动学习。这个产品是从我自己的需求出发，逐步设计出来的。我想解决的核心困境是：看得懂但反应慢、听不清、说不出。以及，作为一个教育产品，必须符合认知科学，能持续学习，看到进步。为了满足 action -> feedback -> iterate 的学习循环，我把学习流程设计为：强制盲听 → 主动输入 → 原理解析 → 整组测试 → 反馈强化 → 数据激励 → 间隔重复开始练习就会播放音频，句子模糊处理。这样

人工智能 09-12 23 V2EX

Termexo v0.9.0：Antigravity 加入工作台，CLI 安装与 Diff 导航升级

AI 生成概念封面，非界面截图。我是 Termexo 的维护者。v0.9.0 已正式发布：这次把 Antigravity 接入现有的 AI 编程终端工作台，同时改善安装入口、代码审阅和运行状态显示。Termexo 面向 Windows 10/11 x64，采用 MIT 开源许可证。四个 Agent，在同一个工作台里继续工作现在可以在 Claude Code、Codex CLI、OpenCod...

人工智能 09-12 19 开源中国资讯

[深圳] 要去南山科技生态园做 intern 了，正在研究住宿问题，免费的太难抢

下周就要入职，目前还在家里，看了一下深圳政府的一些活动比如 AI 南山 15 天免费住/深梦启航 15 天，常常是爆满，也很难抢。研究了一下解决方案：青旅上下铺 60-70 一天，灵活度无敌，随时跑路。本人之前在广州住单房青旅 3 个月，体验良好，深圳没有找到有相同产品形态的青旅，遗憾。自如合租接受机构溢价，大概 2k 附近能在 13 号线沿线以及 9 号线找到合租的 10 平米单间还有其他解决方案吗？公寓酒店？

人工智能 09-12 22 V2EX

[分享创造] 用 codex 汉化游戏的一些心得

一直用 AI 来翻译黄油，效果是特别好。最早的工作流是用 ainiee ，t++等工具提取文本，翻译好之后再封装回去后面 luna 出来了，性价比爆炸，就尝试直接在 codex 中完成具体效果如下，自主提取，制作并优化术语表，翻译，回写，测试。尤其是 computer use 可以让 codex 自己打开游戏，测试字体显示，漏翻等问题然后再说消耗，以游戏 RJ01711476 为例，文本大约是 1mb 。如果用 Ainiee 来翻译，大约需要 600-800 万 token ，缓存率约 30% 用 codex 翻译消耗 1 亿 token ，缓存率 97%，成本约 18 刀（

人工智能 09-12 57 V2EX

[酷工作] LLM 应用研发工程师， AI 应用后端工程师（AI Agent 方向）， AI 模型训练师 / AIGC 模型工程师

远程岗位：LLM 应用研发工程师薪资范围：20-35K岗位职责1. AI 角色引擎与 Agent 开发负责 AI 虚拟角色的全链路对话逻辑：Prompt 工程、多轮长短期记忆机制（基于"事件簿"的自动总结，解决长对话中记忆丢失、车轱辘话、人设崩坏）、情绪与好感度状态机，打造高沉浸、高情商的 AI 伴侣。将业务能力封装为 Agent 工具（ Function Calling ），实现 AI 对话与计费、打赏、隐藏图集解锁等的无缝衔接，并保证工具调用的准确与容错。2. 模型微调与人设优化基于开源模型，使用 LoRA 等轻量级微调（ SFT ）结合自有聊天语料，持续优化模型的对话风格、人设稳定性与"

人工智能 09-12 38 V2EX

[推广] 腾讯 WorkBuddy 海外版 Workbuddy AI,注册能使用 gpt-6-Astra， gpt-5.6-sol,同时 deepseek-4.1-flash 限时免费

注意：以下链接均为我的邀请链接，介意误点，点击后注册我能获得邀请奖励 100 积分。注册地址: https://workbuddy.ai/invite?code=MV5L5R53,现在注册立得 350 积分. 模型活动 Receive 100 credits after your friend signs up and submits their first query.100 referral credits + 250 welcome credits upon sign-up. 邀请好友注册还可再得 100 积分哦, https://workbuddy.ai

人工智能 09-12 30 V2EX

[全球工单系统] 淘宝是不是在用去年的 Agents vibe slopping, 人在国外就不配下单了?

人在国外, 想给国内家人买点东西, 以前没问题, 现在连详情页都打不开电脑上还显示一个手机页面:此商品不可运送根据相关地区法律法规及淘宝网政策，该商品无法运送至您所在的国家或地区了解更多规则可能是淘宝允许商家设置"不配送海外", 所以程序员/AI 按海外 IP 直接 block 人浏览, 我地址都没选呢, 另外, 我个人信息里的所有地址都是国内的, 你等我真想寄到海外再给我一个警告页面也不迟啊.

人工智能 09-12 20 V2EX

[推广] 智友社回馈 V 站新老客户，抽送第 8 波 8 个智友社的 GPTPLUS 稳定特殊渠道日区月卡成品号 6

各位 V 友好，感谢大家一直以来对我们智友社的支持和关注。我们智友社的初衷是帮大家寻找市面上稳定的主流 AI 特价渠道，鉴于目前国外主流 AI 的正价订购价格昂贵，我们发现市面上有不少的价格实惠的特殊渠道 AI 产品，可惜质量参差不齐，为了节省大家的时间跟金钱，我们花了不少精力对各个渠道商的特价 AI 进行了购买评测，再从中选取稳定的渠道上架出售，我们也欢迎各位佬友跟我们推荐稳定的特殊渠道 AI ，我们会自费购买进行稳定性测试，测试通过后也能让更多的人能受益！由于目前国外 AI 并不能上架国内主流购物平台，所以我们只能把店铺开在了一个小众平台—链动小铺，您有问题可以随时联系我们 QQ 客服

人工智能 09-12 21 V2EX

[OpenAI] 估算了一下 Pro 20X 的周限额度

让 Codex 直接读了我的会话数据，以上一次 Tibo 重置的时间戳为界。我所有的会话都是 Astra ，以 lightweight 和 medium 为主，没有开过 fast 。以下表格和统计由 Codex 写脚本计算和生成。类型 Tokens 金额非缓存输入 16,835,563 $168.36 缓存输入 584,864,000 $584.86 输出（含推理） 3,374,930 $168.75 总计 605,074,493 $921.97 输入总计 601,699,563；推理输出 1,361,628，已包含在输出中。假设这些数据恰好覆盖本周已消

人工智能 09-12 46 V2EX

[推广] 橙枢 AI： GPT / Claude API， 1 元起充，价格、状态和扣费都可以自己核对

先说明一下利益关系：我是橙枢 AI 的运营者，这是一篇放在推广节点的商业推广。之前发过两次帖子，当时主要写的是注册赠送和分组倍率。现在站内模型、线路和计费都重新整理过了，旧帖里的赠送活动和部分模型、倍率已经过期。这次不再用赠送活动吸引注册，直接把目前提供什么、怎么验证、价格怎么算以及有哪些限制说明白。站点主要面向需要 GPT / Claude API 的开发者，可用于支持自定义 Base URL 的客户端、脚本和内部工具。统一入口是： https://api.cxbl.top/v1 GPT 模型提供 OpenAI 兼容的 Chat Completions 和 Responses 入口；

人工智能 09-12 23 V2EX

[人工智能] GPT Image 2 API：把图像生成与编辑接入实际工作流

最近在整理 AI 图像产品的实际工作流，分享一个偏开发者和创作者使用的工具：GPT Image 2 API 。它提供浏览器端的图像生成与编辑能力，适合从详细文字提示词生成图片，也适合在已有图片上做主体替换、背景修改、风格调整和局部润色。对我来说比较实用的场景包括产品图、广告素材、社交媒体配图、角色设定和设计草稿。如果你需要把这类能力接入自己的流程，GPT Image 2 API 也提供 API Key 、任务提交、状态查看和额度管理等功能。一个比较稳妥的用法是先在网页端确认提示词和构图，再把稳定的提示词模板接到 API 中；这样既方便人工迭代，也便于后续批量生成。使用时建议注意三点：

人工智能 09-12 22 V2EX