站内搜索 · 导航

出海搜索导航

聚合海外服务器、出海资源、实用工具与教程文档，输入关键词即可快速查找全站内容。

AI独立解出悬置56年数学难题AI独立解出悬置56年数学难题刚看到一条挺震撼的消息：Google DeepMind 的 AlphaProof Nexus 在最新一期 Science 上发表了研究，它独立解出了 353 个未解 Erdős 问题中的九个，其中两个已经悬置…https://talk.lekuidc.com/1297.html
卡帕西说AI认知鸿沟正在拉大卡帕西说AI认知鸿沟正在拉大刚看到卡帕西在LinkedIn上的一段分享，他现在已经从OpenAI转到了Anthropic做研究，这次聊的是AI能力认知的断层问题，我觉得挺值得跨境圈的朋友们琢磨一下。他给出的几个数字很扎眼：全球大约75%…https://talk.lekuidc.com/1296.html
苹果把家长控制提到了开机第一步苹果把家长控制提到了开机第一步苹果在 WWDC26 上预览了 iOS 27 等新一代系统，家长控制和儿童安全功能是这次比较实在的升级点，9 月已经随正式版推送。我第一时间把家里两台设备都升了，最大的感受是：苹果这次不是加几个开关，而是把整…https://talk.lekuidc.com/1280.html
AI做科研缺的不是算力是自省AI做科研缺的不是算力是自省最近看到 Epoch AI 和 Anthropic 的两组评测，结论挺扎心：现在的 AI agent 能跑实验、能写代码、能迭代方案，但一旦让它判断自己做得对不对，就开始露怯。换句话说，执行层面的能力已经溢出，…https://talk.lekuidc.com/1272.html
边缘端决策模型开源新选择边缘端决策模型开源新选择 LiquidAI 刚开源了两个决策模型，d1-3B 和实验性的 d1-omni-600M，主打边缘端部署。我第一反应是这方向选得挺聪明：现在大模型都在卷生成能力，但很多工业场景要的其实不是写文章，而是快速做个判断。…https://talk.lekuidc.com/1259.html
花16美元蒸馏出0.8B小模型花16美元蒸馏出0.8B小模型上周我想给 Qwen-Image 2.1 配一个轻量版的提示词改写器，官方那个 9B 模型要占大约 20GB 显存，写一段话之前还要思考上千个 token，本地根本跑不动。在模型社区里翻了一圈，能找到的只有同…https://talk.lekuidc.com/1258.html
九月AI更新盘点与冷思考九月AI更新盘点与冷思考九月这波AI更新看下来，我最大的感受是：模型能力的军备竞赛还在加速，但真正值得关注的已经不是参数本身，而是这些能力怎么落到具体场景里。Gemini 4 Argon 的发布算是一个节点，谷歌在推理和长上下文上的投入明…https://talk.lekuidc.com/1238.html
LineageOS 24 基于安卓 17 发布LineageOS 24 基于安卓 17 发布刚看到 LineageOS 24 释出的消息，这次直接基于 Android 17，节奏比往年快了不少。作为一个从 CM 时代就开始刷机的老用户，说实话有点感慨，毕竟 2026 年 12 月这个…https://talk.lekuidc.com/1230.html
科技大会周边活动更值得跑科技大会周边活动更值得跑刚看到 Disrupt 2026 的日程，主会场定在旧金山 10 月 13 到 15 号，但真正有意思的其实是会外那一周。从 10 月 10 号到 16 号，全球各地的创业公司和机构会在城里办各种 networki…https://talk.lekuidc.com/1226.html
Orkut创始人想复活老社交网Orkut创始人想复活老社交网看到Orkut创始人Orkut Büyükkökten在X上喊话，让大家去Orkut.com签名支持重启这个平台，我第一反应是有点唏嘘。这个2004年诞生于Google内部的小项目，曾经在印度和巴西火到不行，…https://talk.lekuidc.com/1225.html