Article
12470 découvertes · Découvertes choisies sur le web ouvert, des plus récentes aux plus anciennes.
-
[分享创造] 做了个 Pi-Work:让 AI 真正操作工具,并把整个工作环境打包带走
大家好,我是 pphboy https://github.com/pphboy , 一名独立开发者,之前主要做 NAS 、Linux Infra 相关的开发。 这段时间一直在做一个自己的项目: Pi-Work 。目前 MVP 已经跑通,也录制了 Demo ,今天第一次在 V2EX 分享,希望能找到第一批愿意尝试的用户。 本人录制的使用 Demo https://www.bilibili.com/video/BV1Uxx16VEYR/?spm_id_from=333.1387.homepage.video_card.click 官网目前的 Demos: https://pphboy.github.io/piwork/demos/ 为什么做 Pi-Work ? 现在 AI 已经能够写代码、执行命令、调用各种工具了。 但我一直在思考一个问题: 如果 AI 不只是一个聊天窗口,而是真正拥有一套可以操作、保存、迁移和分享的工作环境,会怎么样? 目前很多 AI Agent 依然依赖宿主机的运行环境。换一台电脑,可能又要重新安装依赖、配置工具、处理环境问题。 我希望把这些复杂性尽可能隐藏起来。 Pi-Work 是什么? Pi-Work 是一个基于 MicroVM 的 AI 工作环境。 它不是单纯给大模型套一个聊天界面,而是尝试把 AI 的工具执行能力与独立的工作环境结合起来。 目前主要实现了几个
V2EX · ZH
-
[问与答] 关于一场两万元 LV 包引发的争论-我们究竟在争论什么?
事情的起因是女朋友在抖音上给我分享了一个视频,视频里是一群制造业老板的老婆聚餐,然后发起了一个挑战,就是给自己的老公打电话,开口要一个两万元的 LV 包,看看老公会是什么反应 评论区有不少人对此表示共情,大概意思就是女人想要一个包怎么了,老公连两万元的包都舍不得买,是不是不够爱自己的老婆之类的 说实话,我看到这些评论的时候是有些反感的,所以就和女朋友聊了起来 我最开始表达的意思其实很简单,我举了一个例子,假如老公突然给老婆打电话,说自己想买一根两万元的钓鱼竿,老婆会不会也毫不犹豫地给他买 我想说的是,消费这件事情应该有一个基本的价值判断,而不是因为一个人有钱,就意味着他应该接受更高的消费标准 比如说,一个人手里有五千万,有人卖给他一杯两百块钱的咖啡,难道就因为他有五千万,所以这杯咖啡就不贵了吗,难道他就不应该觉得这杯咖啡卖得离谱吗 那我再比如说,前一段时间的孙割,我觉得其实是一回事,那景田要他那么多钱,那也是合理化的,我和孙哥谈,我是不是应该要 20 万的包,我和马斯克谈是不是应该要 2,000 万的包呢 在我看来,一个人的财富水平和一件商品本身的价值是两回事,有钱不代表什么东西都值得买,也不代表一个人的消费需求就应该随着他的财富水平不断提高 我女朋友对此并不认同,她认为视频里的女性都是制造业老板娘,家庭经济条件比较好,敢于开口要两万元的包,说明她们知道自己的家庭有这个消费能力,而
V2EX · ZH
-
[分享创造] 开源了一个 agent 技能,能把扫描件和手机拍的文档重建成矢量 PDF(附对照实验)
做了一个给 Claude Code 和 Codex 用的技能,能把扫描件或手机斜拍的文档重新做成干净的 PDF:文字可以搜索、复制,图表和流程图是矢量图,放大不会糊,版式贴近原稿。它不是在图片上加一层 OCR 文字。 我还做了对照实验。测试页由程序生成,每页都有标准答案,类型有练习册、表格、图表、流程图、表单和双栏文章,其中一半是斜着拍、带阴影的手机照片。每页按标准答案给文字、版式、图形和矢量比例打分,1.0 为满分。同一个需求,每个模型做两次,一次不用技能,一次用。下面是两份 9 页文档上的结果,技能从没在这些页面上调过参: 模型 不用 用 Haiku 5.5 0.841 0.997 Fable 5.1 0.837 0.997 Sonnet 5.5 0.994 0.998 Opus 5.5 0.993 0.998 耗时:Sonnet 做 9 页从 25.7 分钟降到 16.2 分钟(快 37%),Haiku 基本持平( 9.4 → 9.0 ),Opus 和 Fable 变慢( 13.3 → 14.7 、10.0 → 14.7 )。每个模型只有两份文档,耗时仅供参考。 最早的版本只是一份详细的说明,效果不明显。起作用的是把 agent 容易出错的步骤交给脚本: 模型看到的是缩小后的图,位置和小数字只能估。现在由脚本按像素测量,没把握的词裁出来放大,每页汇总成一张校对图。 模型发现不
V2EX · ZH
-
[酷工作] [成都] 软件测试工程师(AI 产品方向)
写在前头:不坑 V 友,这个 HC 是甲方那边给的一个外包岗,但在自己公司坐班。招 1 个组长+2 个组员。 软件测试工程师( AI 产品方向) 工作地点: 双流区·西航港 薪资范围: 6K–8K 工作经验: 1–3 年(组长岗位要求 3–5 年) 学历要求: 大专及以上,计算机、软件工程等相关专业优先。 一、岗位职责 负责大语言模型、AI 应用、智能问答及 AIGC 生成类产品的测试工作,涵盖功能测试、逻辑测试、场景测试及回归测试,重点关注 AI 视频生成及画布式产品的功能和业务逻辑。 根据产品需求文档、技术方案梳理测试点,设计测试用例,制定测试计划及测试策略,覆盖画布节点编排、素材上传、任务提交、状态流转、版本保存、用户权限及额度计费等业务场景。 针对大模型产品特性,开展幻觉、一致性、逻辑性、安全性、合规性及鲁棒性等相关测试,识别模型输出异常、偏见、违规、低质及重复等问题。 负责 AI 接口、Prompt 、上下文对话及多轮交互场景测试,开展接口联调、参数校验及返回结果验证。 跟进产品及模型版本迭代,完成版本回归测试,整理测试问题、风险点及测试用例,持续完善测试工作。 配合线上产品质量监控,收集用户反馈问题,协助定位问题原因,输出测试记录及测试报告。 配合产品及研发团队开展测试问题沟通,对发现的异常进行截图、录屏,整理问题描述及复现步骤,提交缺陷并跟进修复验证,推动问题闭环。
V2EX · ZH
-
[分享创造] 做了个 bot,部署到自己的 Cloudflare 免费套餐里
起因是不想再为“每天查一下某某有没有更新”这种轻需求付订阅费。一天跑一次,多数时候什么都不用说;真有事的时候希望它在微信或 Telegram 里来找我,而不是我再去开一个 app 看。 所以做法是让 bot 跑在你自己的 Cloudflare 账号上,免费套餐就够。 技术上几个点: 对话、任务、bot 都是 Durable Objects ,SQLite 存储。默认模型是 Workers AI 的 Gemma 4 26B ,不用填任何 key 。 免费额度每天 10,000 neurons 。用完不会扣费,是暂停到 UTC 0 点(北京时间早上 8 点)。付费账号才按量计费。 底层是 pi-durable ( MIT ,@earendil-works/pi-durable ):每一步先写进存储再展示,进程被打断就从最后一次提交继续;同一个请求重发返回原结果,不会执行两次。工具调用和审批同理。 通道 Telegram 或微信,同一时间只能开一个。两边都能收图片和语音:微信的语音直接用协议里服务端识别好的文本,不下载音频也不做 SILK 解码; Telegram 的语音转写一遍。 可以接远程 MCP ( Streamable HTTP / SSE ),只读工具直接跑,写工具先问。本地 npx 起的 stdio 不支持。 几个局限先说清楚: 只有 macOS 客户端( Apple sil
V2EX · ZH
-
[分享创造] 分享一个 AI 歌曲音质提升工具
https://yinghuo.fun/sunomaster 这是我朋友做的一个 AI 音乐音质提升工具,想发出来给大家体验一下。(免费) 他毕业于北京电影学院声音学院,多年编曲经验。做这个工具,主要是想解决一个挺常见的问题:AI 生成的歌旋律和编曲不错,但导出来听,音量偏小、低频不够扎实、人声和伴奏有点糊,高频偶尔还有毛刺感。 重新生成不一定能解决这些问题。生成阶段主要是在抽旋律和编曲,后期的音量、频段和动态处理是另一回事。 工具叫 AI Music Master ,目前做成了网页:上传 WAV ,选择或调整曲风,等待处理完成后试听,满意再下载。不用安装 DAW ,也不用自己折腾均衡、动态和激励器插件。 怎么用 上传 .wav 文件。Suno 下载时记得选择 WAV 格式。 工具会自动判断曲风,也可以手动调整。 等待处理完成,试听提升前后的效果,再决定是否下载。 不同曲风会用不同的处理力度:比如史诗类会加强低频和气势,民谣类处理得轻一些,电子类会更强调明亮度,不是所有歌都套同一组参数。 可以先听示例 页面上有三首示例,可以切换原曲和提升版。建议戴耳机听听鼓点、人声和高频的变化。 常见问题 支持哪些音频? Suno 、Udio 等 AI 音乐平台导出的 WAV ,以及自己录制的小样都可以。 收费吗? 目前免费。 音频会被拿去二次分发吗? 不会。处理后的音频用于用户试听和下载,不做二
V2EX · ZH
-
[分享创造] 做了个免登录、AI 能直接提交的 AI 导航站
最近做了个小站点 aisaasdir.com ,主要是按场景和价格整理了一些工作向的 AI 工具。 做的时候想省掉注册登录这一步。现在很多导航提交都要先注册、填一堆信息、再等审核。我就做成了免登录,直接贴网址就能提交。提交后会核对一下功能和价格是不是和官网对得上,排除明显不合适的,通过的话一般几天内会上线。 比较有意思的是支持 Agent 直接提交。我写了个 /submit.md ,把链接丢给 Claude Code,Codex,Grok Bot ,让它读一遍说明,它就能自己把产品信息发过去,加上 badge ,再走完验证。不用人手填表。目前大部分还是人工提交的,但 Agent 这条路已经跑通了。 上架是免费的,不过需要在自己站点首页挂个 badge ,链接才是 dofollow 。badge 去掉的话链接会变成 nofollow ,我们会定期检查。没有承诺流量,就是个整理和发现的地方。 有兴趣的可以看看,或者把你自己的工具丢进去试试 Agent 提交。也欢迎吐槽哪里做得不好。
V2EX · ZH
-
[OpenAI] gpt 已经听不懂人话了
两天花了 pro200 刀 60%的周额度,干的是一坨屎,现在又慢又不听话,和前段时间的体验天壤之别,但是测试了指纹确认是 gpt6 astra,额度蹭蹭的掉,功能就是做不好,就是简单的一些前端页面的交互来回返工,这几天感觉火气越来越大,搞得力竭了
V2EX · ZH
-
仓颉语言原生 Coding Agent:cjh,一个文件就是整个开发团队
项目地址 GitHub: https://github.com/yangyongzhen/cjh 它是什么 cjh 是一个用华为仓颉语言从零实现的交互式编码代理(coding agent harness)。在终端里用自然语言描述任务,Agent 自主规划、调用工具、观察结果、迭代直到完成——全程 TUI 实时呈现,也可以通过 Web 远程驱动。 但它不是又一个"LLM 套壳"。cjh 从立项...
开源中国 · ZH
-
调问更新 10.19 ~ 11.3:测评计分能力全面升级,问卷设计与管理体验持续优化
DWSurvey 更新日志 测评计分能力全面升级,问卷设计与管理体验持续优化 坚持前后端代码 100% 开源 助力企业建设自主可控的问卷调研系统 官网地址www.diaowen.net ➔ 源码下载Gitee 仓库 ➔ 本次更新:新增迫选题、量表反向计分、维度结果判定及公式赋分等功能,进一步完善测评应用能力。同时优化规则引擎、AI 外呼、团队...
开源中国 · ZH
-
SUSE 因 AI 而计划裁员十分之一
德国开源软件公司 SUSE 现有员工 1900 人,它计划裁掉十分之一的员工。CEO Dirk-Peter van Leeuwen 在电子邮件里表示,自动化和 AI 降低了某些岗位的需求。他表示做出这一决定是非常痛苦的,但也是必要的。Van Leeuwen 称,在被瑞典私募股权投资公司殷拓集团收购后,公司在仔细审视了其未来战略、所需能力及团队架构后做出了裁员决定,“显而易见自动化和 AI 正从根本上改变软件公司的运营方式。AI 技术正呈指数级发展,迫使我们彻底重新构想工作模式。无论是所在行业,还是在更广泛的经济领域,我们都已经看到了这一趋势。这意味着 SUSE 目前所依托的组织架构和成本基础,已无法支撑未来的成功发展。”受影响的员工将在 11 月 4 日前收到通知,员工代表将于次日选出,一对一沟通会议则将于下周初启动。
Solidot · ZH
-
出生前后大脑会清理突变神经元
根据发表在《自然》上的一项研究,出生前后大脑会清理突变神经元。对 2300 多个神经细胞进行的分析显示,在从人类胎儿大脑中采样的神经元中,超过 1/4 出现了染色体片段增加或缺失的情况。相比之下,出生后婴儿大脑中的神经元中,只有约 6% 存在此类异常。研究结果揭示了一种新的机制,该机制不仅调控着一个人的神经元数量,还决定了哪些胎儿神经元能够在大脑中存活下来。针对小鼠的研究表明,在早期发育过程中,哺乳动物会通过激活一个导致细胞死亡的分子程序,清除大量脑细胞。分析结果显示,在胎儿发育过程中,存在数量惊人的、具有广泛拷贝数变异的细胞。然而出生后,这些异常神经元的比例下降至原来的 1/4,表明它们在发育过程中已被淘汰。大脑是如何分辨哪些神经元正常、哪些不正常呢?一个可能的线索是那些拷贝数变异水平较高的脑细胞,其与其他神经元建立连接(即突触)的基因也往往表现异常。
Solidot · ZH
-
苹果开始在中国推出 Apple Intelligence
苹果从 11 月 4 日起开始在中国推出 AI 功能 Apple Intelligence,中国用户可通过最新的 iOS 开发者 Beta 版进行测试,AI 功能将于 12 月随 iOS 27.3 的发布正式推出。中国版本的 Apple Intelligence 是苹果和阿里巴巴合作推出的,基于阿里巴巴的千问模型。首批 AI 功能包括实时翻译、写作工具、视觉智能、照片 app 的消除工具、智绘表情、照片 app 中的自然语言搜索、在照片 app 中创建回忆影片、识别优先邮件、邮件摘要、智能回复、通知摘要、首要通知、减少干扰、备忘录 app 中的音频转录摘要、通话转录文本的摘要、输⼊⽂字与 Siri 对话、Siri 能接入千问(需登录千问)、创作等。
Solidot · ZH
-
Nexus Mods 公布 AI 生成内容政策
最大 PC 游戏 Mod 分享托管平台 Nexus Mods 公布了 AI 生成内容政策。Nexus Mods 没有禁止 AI 生成 Mod,但对此类 Mod 的分享设定了更严格的规定。新上传 Mod 必须披露是否使用 AI,AI 辅助 Mod 必须说明如何使用 AI 以及 AI 的使用范围。现有 Mod 需在 2027 年 1 月 2 日前符合新要求。如果 Mod 作者无视平台方提出的要求,可能会面临权限受限或被下架的后果。它计划针对 AI 使用、AI 模型训练、分支和衍生 Mod 引入新的授权选项,默认选项为“需征求作者同意(Ask me)”。Nexus Mods 承诺绝不会利用用户上传的 Mod 训练 AI,也不会将其出售或授权给任何 AI 公司。Nexus Mods 严禁利用生成式 AI 生成虚假的游戏截图。
Solidot · ZH
-
富士胶片因 AI 热加大磁带产能
富士胶片表示它将大幅增加磁带产能,原因是磁带备份成为 AI 热的一个意外受益者。普通消费者可能早在几十年前就已不再使用磁带,但业界却从未将其抛弃。云服务巨头依靠磁带对海量数据进行备份。富士胶片称,大型云服务商和数据中心运营商正在扩大对磁带的使用,因为磁带能以相对较低的成本存储海量数据。磁带备份可以轻松与系统断开连接,存放在抽屉、保险库或独立设施内。富士胶片强调,磁带介质能实现物理隔离(air-gap),为用户数据提供最后一道防线。
Solidot · ZH
-
开源项目通过 NPU 而非 GPU 渲染 Win11 桌面:目前刷新率仅 2-3Hz,目标 30Hz
IT之家 11 月 4 日消息,开发者团队 labscommunity 发布了一款面向 Windows 11 的原型驱动程序,尝试使用 NPU 而非系统集成显卡或独立显卡来渲染桌面画面。这款驱动名为 npu-driver,采用 Apache 2.0 开源协议,代码已发布在 GitHub 上。 目前,该驱动已在搭载英特尔 Panther Lake 处理器的设备上完成测试。虽然实际性能距离预定的 30Hz 刷新率目标仍有较大差距,但其已经具备基本的功能,并且能够在用户主动要求或发生故障时自动切换回 GPU 渲染。 开发团队认为,这项尝试回应了近年来处理器发展中的一个问题。npu-driver 项目的 GitHub 说明文件写道:“如今,每一台新款笔记本电脑都配备了 NPU,但这些芯片往往处于闲置状态。与此同时,GPU 却承担着桌面合成、浏览器运行以及越来越多本地 AI 模型的运算任务。这个项目提出了一个范围明确、可以验证的问题:NPU 能否从头到尾接管桌面合成工作,同时不需要应用程序或桌面合成器感知到这一变化?” 目前,答案是肯定的。测试表明,NPU 确实能够渲染 Windows 11 桌面,以及记事本、Edge 浏览器等应用窗口。npu-driver 可以按照预期运行,并且在需要时能够无缝切换回 GPU 渲染。 不过,开发者强调,目前这款驱动严格来说只是一个“研究原型,而非正式产品”
IT之家 · ZH
-
字节旗下 AI 开发平台“扣子”:推进企业级服务产品整合升级,现售企业版将先暂停新售
IT之家 11 月 4 日消息,字节跳动旗下 AI 开发平台“扣子(Coze)”发布公告, 正在推进企业级服务的产品整合升级 ,并规划后续可供企业客户选择的产品和套餐方案。配合本次整合,现售扣子企业版将先暂停新售。 IT之家注:官网显示,“扣子”是面向 Agent 时代的新一代 AI 团队协作平台。用户可以一个人调度多个 Agent,也可以和团队成员一起协同多个 Agent,在同一个项目里完成办公、编程、视频创作、文件处理、行业研究等复杂任务。 8 月 24 日,据智能涌现消息,字节跳动对旗下的办公 AI 产品完成了一轮团队整合: TRAE、扣子团队将整体并入豆包体系 ,其中 TRAE Work、扣子将与豆包在工作场景的产品能力进行整合。 8 月 25 日, 字节跳动发布“豆包工作” 。作为豆包面向生产力场景推出的全新 Agent 产品与品牌,豆包工作能围绕用户目标自主拆解任务、调用工具、持续推进复杂工作流程。 据介绍,暂停新售期间,已购客户仍可在合同约定的有效期内、相应套餐全面下线前继续使用套餐包含的功能,并获得客户服务与支持。各阶段时间和客户服务安排说明如下: 企业版暂停新售 为配合产品整合和套餐升级计划,企业标准版、企业旗舰版将于 2026 年 11 月 30 日起暂停接受新客户购买。已签署合同但尚未完成下单的客户,请联系对接商务经理,确认后续购买及服务开通安排。 企业版全面
IT之家 · ZH
-
小米 WorldCast 3D 运镜在 REDMI K100 上线:平面照片还原成三维场景,并虚拟出真实相机轨迹
IT之家 11 月 4 日消息,小米 REDMI K100 手机已于 10 月 27 日正式发布。据小米技术官方今日介绍,该机在影像上新增了 3D 运镜的 AI 玩法 —— 从相册选一张静态照片,AI 就能生成一段大角度 3D 运镜视频,镜头可以环绕、推拉、倾斜,而画面中人物的五官、发型、衣着始终保持一致。 IT之家从小米技术官方了解到,支撑这项功能的,是小米在近期公开论文里带来的 视觉生成框架 WorldCast :它通过解读画面的深度结构,把平面照片还原成三维场景,并在其中虚拟出一条真实相机轨迹,让镜头像被真实拍摄一样运动,能够在镜头运动过程中持续保持主角外观的一致性。 ▲ WorldCast 框架总览:轨迹对齐的几何引导 × 几何对齐的多视角角色记忆 小米技术官方称,WorldCast 是小米在可控视觉生成方向上的又一突破,它不只让 REDMI K100 的相册多了一种玩法,更重要的是把方法、数据集和评测方式沉淀了下来。在这套底座之上,团队将进一步探索更复杂的运镜形态、更长的连续生成,以及可控 4D 视频生成技术等。
IT之家 · ZH
-
高通史上最大 5G 交易:联合 SpaceX 建设星链移动全美国 5G 网络
IT之家 11 月 4 日消息,高通宣布,SpaceX 选择其跃龙(Dragonwing)蜂窝基础设施平台,为星链移动(Starlink Mobile)美国全国 5G 地面网络提供技术支持。 IT之家获悉,此次合作涉及 Dragonwing QRU100 和 QDU100 平台,采用 64T64R 大规模 MIMO 技术。SpaceX 计划在多年合作期内部署数万个基站, 预计 2027 年启动美国全国范围内的网络部署 。 据路透社报道,尽管高通未披露具体的合同金额,但明确表示“ 这是公司迄今为止规模最大的一笔 5G 交易 ”。此举标志着埃隆 · 马斯克(Elon Musk)旗下的这家太空探索公司正式向美国传统无线运营商发起挑战。 高通以智能手机处理器芯片闻名,而这笔交易将进一步拓展其在电信网络基础设施市场的版图。通过向铁塔基站设备供应核心芯片,高通将在此领域与美满电子、博通以及英特尔展开直接竞争。 目前,高通正持续推进业务多元化战略以摆脱对移动终端的单一依赖,此前已为日本和越南的 5G 网络建设提供技术支撑。 SpaceX 的目标是打造全美主流的全国性无线运营商,通过融合低轨卫星互联网与地面蜂窝网络,正面硬碰 AT&T、Verizon 与 T-Mobile 这三位通信巨头。 尽管与这“三巨头”正面抗衡需要耗费巨额资金,使外界对 SpaceX 该计划的可行性仍存疑虑,但该公司已在加速
IT之家 · ZH
-
英伟达发布 Game Ready 621.14 驱动:优化《魔兽世界:永恒》,修复视频黑屏问题
IT之家 11 月 4 日消息,NVIDIA(英伟达)发布 GeForce & RTX Spark Game Ready 621.14 显卡驱动,面向《魔兽世界:永恒》、《毁灭战士:黑暗时代》新内容及新增 DLSS 5 支持的游戏提供优化,并修复此前版本引入的视频播放异常问题。 IT之家附官方公告链接( https://www.nvidia.com/en-us/geforce/news/world-of-warcraft-forever-geforce-rtx-spark-game-ready-driver )。 新游戏支持与性能优化 为 《魔兽世界:永恒》 提供 Game Ready 优化,确保 GeForce RTX 平台最佳游戏体验; 针对 《毁灭战士:黑暗时代 | 启示录》新增的屠戮模式 提供性能优化; 在 《霍格沃茨之遗》 与 《战争雷霆》 支持 DLSS 5 3D 引导神经网络渲染。 问题修复 修复 《使命召唤:现代战争 4》 中可能出现画面颜色显示异常的问题(问题编号 6972531); 修复升级至 GRD 621.01 后,部分 GeForce RTX 50 系列 GPU / RTX Spark 设备在视频播放时可能出现卡顿或黑屏的问题(问题编号 6979343)。 该驱动适用于 GeForce RTX 系列桌面端、笔记本及 RTX Spark 设备,用户可通过 N
IT之家 · ZH
-
陶哲轩警告:人类把思考交给 AI,危险可能很快到来
北京时间 11 月 4 日,菲尔兹奖得主、著名数学家陶哲轩(Terence Tao)近日对人类日益依赖人工智能发出警告。他担心,随着人们逐渐将思考和解决问题的过程交给 AI,人类正在失去对问题本身及其解决方案的理解,而这一趋势可能很快在现实世界中产生严重后果。 这番言论来自陶哲轩 10 月 16 日在加州大学洛杉矶分校举办的 Science x AI Summit 上的演讲。科学与人工智能研究基金会(SAIR)近日在 YouTube 发布了题为《Math 2.0》的完整演讲视频,相关片段随后在海外社交平台 X 上引发关注。 “我们正在把自己的思考委托给 AI,由它们替我们解决问题。但与此同时,我们也正在失去一种保障 —— 无法确信 AI 给出的解决方案,是否真的是我们想要的。”陶哲轩表示,“我真的非常担心,我们很快就会看到这件事在现实世界中产生的后果。这实际上是我在数学领域之外的一项担忧。” 陶哲轩指出,人工智能在数学领域取得的进展,正在改变人类解决问题的传统方式。过去,数学家为攻克复杂问题,需要长期研究、理解相关理论,并在这一过程中积累新的知识。但如今,AI 能够快速给出答案,人类却未必能够理解答案背后的推理过程。 他认为,这种变化在纯数学领域的风险相对可控,因为数学证明通常可以通过形式化工具进行验证。但当同样的方法被用于现实世界,情况就会复杂得多。 陶哲轩特别提到了电网、航空交
IT之家 · ZH
-
华为 MatePad Mini 小平板获 HarmonyOS 7.0.0.111 SP16 升级,互助通信共享功能下放
IT之家 11 月 4 日消息,据用户反馈,华为 MatePad Mini 小平板今日开启了鸿蒙 HarmonyOS 7.0.0.111 SP16 版本升级,系统包大小约 657.43MB。 据介绍,新版本升级通信共享功能, 与搭载 HarmonyOS 7 系统的手机、平板、鸿蒙电脑之间支持多人互助通信共享 ,通过碰一碰或者登录同一账号共享网络建立互助网络,在移动网络信号弱或网络负载大等场景下可获得更稳定的网络。 IT之家从华为官网了解到,手机与平板间通信共享支持共享手机双卡通话、短信、网络能力(含 eSIM),支持手机双卡网络切换时,平板网络跟随切换。但手机与手机间通信共享只支持共享手机网络能力(含 eSIM)。 另外,共享端手机和接收端手机需同时为 HarmonyOS 7 及以上版本,且单台设备最多可同时为 3 台设备提供网络,或是同时连接 3 台设备的网络。网络共享功能会使用华为云增强加速,以提升上网体验。
IT之家 · ZH
-
真 · 互通:国行 Apple 智能创作内容、问询结果会同步至千问 App
IT之家 11 月 4 日消息,苹果今日凌晨面向 iPhone 推送了 iOS 27.3 系统首个开发者预览版,为国行用户带来了「Apple 智能与 Siri」。 国行 Apple 智能与阿里巴巴达成合作,在部分体验中接入千问。国内用户可直接在 Siri、写作工具和视觉智能中调用千问,覆盖文本与图像理解相关能力。 IT之家实测发现, 国行 Apple 智能问询结果也会同步至千问 App ,后者可提供语音播报、分享、复制、收藏、重新生成等功能。 不仅是视觉智能, 用千问完成的文字创作内容,也会同步至千问 App 。 关于 Apple 智能国行版本更多内容, 小伙伴们可移步至IT之家最新实测,了解更多信息 。 点击关注IT之家视频号
IT之家 · ZH