AI 资讯
已同步 34650 条公开资讯，来源和发布时间保留在每条记录中。
AIGOOD 已同步公开来源；每条资讯详情保留来源和原文链接。
https://openai.com/index/navier-stokes-solution/ OpenAI 宣布，其下一代模型驱动的多智能体系统完成了对纳维-斯托克斯方程干禧年奖难题的证明。该问题关注三维流体运动方程是否会出现奇异性，困扰数学界约 90 年，是克雷数学研究所悬赏的七大干禧年难题之一。 OpenAI 称证明由一组智能体协作完成，所用新一代模型能力显著超过 GPT-6Astra 。不过这一成果同时引发学界争议，多名研究者对功劳归属提出质疑。
今天本来想让根据代码仓，代码可以建立那个索引或者知识库什么，但是想看看开源社区有已经有这类产品了吗？ 简单搜索了下有 ai-ready, reposummary 这种，想问下大家都用什么？ 多人一起开发 可以试试更新新的代码，建立新的索引 询问/新增功能又可以直接用索引/知识库，能够快速生成按照仓代码结构的的代码
我想升级为的账号到 plus 。我使用的是招行的双币 MasterCard 。我的 VPN 在日本。在订阅页面账单地址尝试过使用日本地址、美国的地址。但是都失败了显示“付款未获批准”。那目前是不是这条路就算是被堵死了？只能走代充了？如果代充可以，但是在使用过程中会不会被封号？
我记得原来对话框都是浅色的，突然有一次变黑了，然后就一直是黑的了。 今天我看到一个很奇怪的消息，我自己的文字前空了一行，我一直以为是我自己的换行了，结果我一拖才发现是有字的： 我超了，这个设计谁想出来的。 问一下各位佬友有什么方法改颜色吗？之前两边气泡都是浅色的我感觉非常好看，黑的太丑了，能改回去吗？ 应该不止我一个人觉得丑吧。
不吐不快，坐标小县城，三家外卖平台我都用，以前觉得京东速度快，所以这俩年用的多，最近感觉是真恶心，这个月已经第三次外卖送错地方了，我也不要求他速度多快，连在正常时间内送到正确地方都不行吗？
codex桌面端执行计划和复杂任务的执行步骤没有了，是都没有了吗
支持1:2的比例 gpt2的模型 稳定一点的 价格正常就可以 可以走aff 求求各位了
刚刚openai plus升级的pro，为什么没有看到gpt6。有佬知道吗
GPT 20X 闲着没有事情手搓下游戏，先放出截图，跑完后给佬友们体验下 支持离线游戏，支持移动端，支持最多 20 人联机。GPT PRO 赶工ing 预告截图：
这么快…… 已经到了 if 线也无法存活的年纪了喵 (原版似乎是 13 岁 ？
商汤0.99￥送plus套餐，这也太牛了，我也是看了大佬的帖子后去开通的，挺牛的，开吧佬们，能力强的估计已经接进中转了，这个套餐一个月35w积分，而且还送20￥的代金券，关键是这个代金券还可以代扣 tokens（词元），这羊毛你不扣谁扣，免费的还要什么自行车，0.99￥真心觉得免费。下面我给了一些截图，老们可以看看，支持deepseek-v4-flash-0731、glm-5.3-flash。而且glm-5.3-flash的定价估计是折扣期蛮低的，速度蹬起来！！！再附上邀请链接，已经被举报过一次了，刚入社区新号，…
作者： 不会忍的忍者 板块： 搞七捻三
小米也出桌面端了，刚收到的邮件
免费下载 https://github.com/libcr/crPhotos/releases 1. 新增 Nearby sharing 协议，支持 crPhotos 间快速分享照片和视频 2. 新增 heif 的支持 crPhotos 是一款 C++开发的瀑布流模式的照片应用 基于源代码 chromium 150.0.7871.91 支持 Linux 平台的 GPU 渲染加速，视频硬件解码的照片应用 更多免费应用和信息访问 https://libcr.github.io
公司开了 claude 200 的订阅，现在好焦虑，每周六重置的时候都还有 40%用不完， 平时都是日常开发工作，现在基本上都是全栈开发了，但是日常需求也用不完 然后平时维护一下自己的知识库和开发辅助工具 但是还是会有每周用不完的情况 没到周五就开始空想需求来消耗额度 大家都是怎么做的呢？ 有什么好的方法
公司开了 claude 200 的订阅，现在好焦虑，每周六重置的时候都还有 40%用不完， 平时都是日常开发工作，现在基本上都是全栈开发了，但是日常需求也用不完 然后平时维护一下自己的知识库和开发辅助工具 但是还是会有每周用不完的情况 没到周五就开始空想需求来消耗额度 大家都是怎么做的呢？ 有什么好的方法
网页在线的效果最好的开拍，美团旗下的，但是无法做到 api 自动操作，而且费用贵。 本地让 ai 写的纯 cv + ffmepg 识别的效果不好，没法很通用。 求 V 有推荐有没好用的 AI 模型，或者开源框架，可以一用的？
网页在线的效果最好的开拍，美团旗下的，但是无法做到 api 自动操作，而且费用贵。 本地让 ai 写的纯 cv + ffmepg 识别的效果不好，没法很通用。 求 V 有推荐有没好用的 AI 模型，或者开源框架，可以一用的？
平时在终端里干活，有两个事情我经常觉得头大： 一是 记不住复杂参数 。比如查个占用端口的进程、按修改时间搜一批文件、或者解压某个不常见的压缩包，隔三差五就得切到浏览器搜一下。 二是 跨系统命令转换 。查资料时网上往往只贴了 Linux (Bash) 命令，但我手头如果在 Windows (PowerShell) 下，有些管道符和参数根本跑不起来，还得手动翻译一遍。 市面上其实有不少终端 AI 工具，但我试了一圈发现不太适合我： 太重 ：动辄装几百兆的环境或依赖。 喜欢自作主张 ：很多工具直接就把生成的命令跑了。说…
平时在终端里干活，有两个事情我经常觉得头大： 一是 记不住复杂参数 。比如查个占用端口的进程、按修改时间搜一批文件、或者解压某个不常见的压缩包，隔三差五就得切到浏览器搜一下。 二是 跨系统命令转换 。查资料时网上往往只贴了 Linux (Bash) 命令，但我手头如果在 Windows (PowerShell) 下，有些管道符和参数根本跑不起来，还得手动翻译一遍。 市面上其实有不少终端 AI 工具，但我试了一圈发现不太适合我： 太重 ：动辄装几百兆的环境或依赖。 喜欢自作主张 ：很多工具直接就把生成的命令跑了。说…