AI 资讯
已同步 1545 条公开资讯，来源和发布时间保留在每条记录中。
AIGOOD 已同步公开来源；每条资讯详情保留来源和原文链接。
包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》，批评 AI 公司最近的所作所为。公开信称，“过去几个月 LLM 的数学能力有飞跃式提升，甚至达到了能解决数学领域重大悬而未决问题的地步。但各大 AI 公司仅仅将解决数学问题作为基准测试（Benchmark）推动的技术竞赛，却对数学这门科学以及整个数学界构成了伤害。AI 公司的目标与数学界的本质目标之间存在着严重错位（Misalignment）。”这是 AI 影响科…
【摘要】RAG 不是一个新技术。 它的核心那块——把文字变成坐标，然后找坐标最近的邻居——1970 年代的搜索引擎就在用了。2013 年 Word2Vec 让"词变向量"成为主流，2019 年前后 Milvus、Pinecone 这类专业向量数据库陆续出现，2020 年 RAG 的论文发表，比 ChatGP 阅读全文
Matrix首页推荐Matrix是少数派的写作社区，我们主张分享真实的产品体验，有实用价值的经验与思考。我们会不定期挑选Matrix最优质的文章，展示来自用户的最真实的体验和观点。文章代表作者个人观点 ... 查看全文
【摘要】在大模型开发流程中，分词器（Tokenizers）是文本预处理的核心组件。神经网络无法直接理解人类的原始文本，分词器的核心作用，就是将自然语言转换为模型可用于计算的数值序列。Hugging Face Tokenizers 是底层由 Rust 编写的高性能开源分词库，原生支持 BPE、WordPiec... 阅读全文
AI 生成概念封面，非界面截图。 我是 Termexo 的维护者。v0.9.0 已正式发布：这次把 Antigravity 接入现有的 AI 编程终端工作台，同时改善安装入口、代码审阅和运行状态显示。Termexo 面向 Windows 10/11 x64，采用 MIT 开源许可证。 四个 Agent，在同一个工作台里继续工作 现在可以在 Claude Code、Codex CLI、OpenCod...
点击查看原文
点击查看原文
点击查看原文
点击查看原文
【摘要】我干了十几年 Qt C++。从 Qt4 到 Qt6，从单线程到多线程池，从 GDI 绘图到 OpenGL 硬件加速，从 Windows 桌面到嵌入式 Linux 再到安卓跨平台。我熬过的夜、踩过的坑、调过的内存泄漏、追过的段错误，加起来能绕地球半圈。 我做过视频监控系统，手写 Onvif 协议解析、 阅读全文
因特朗普政府削减了 NASA 预算，难以兑现提供合成孔径雷达的承诺，欧洲 ESA 将独立推进金星探索项目 Envision。Envision 轨道探测器任务旨在对金星表面进行测绘，由于金星表面被厚厚的硫酸云层笼罩，需要使用雷达穿透云层。NASA 与 ESA 于 2024 年签署了一份谅解备忘录，NASA 提供美制合成孔径雷达，通过其深空网络提供跟踪与通信支持。作为交换，ESA 将把美国研究人员纳入其团队。然而 2026 年和 2027 年的 NASA 预算被特朗普政府提议大幅削减，虽然国会否决了大部分预算削减方案…
在毁灭性的泥石流之后，尼泊尔正利用大疆无人机运送遇难者遗体，向幸存者运送食物。尼泊尔军方正使用中国捐赠的四架大疆 FlyCart 100 无人机，每天执行 10-16 次物资运送任务。FlyCart 100 配备了约 30 米长的绳索和绞盘系统，可用于吊装和投放重物。根据电池配置的不同，无人机载重能力在 85-100 公斤之间。尼泊尔军方使用无人机每趟运送约 60 公斤的物资，它也能将遇难者遗体从部分受灾严重的地区运送出来。截至 9 月 9 日，尼泊尔官方确认的死亡人数升至 1369 人，仍有逾 5000 人失踪…
官网工作台截图（v0.8.0 界面示意，非本版新增功能截图）。 我是 Termexo 的维护者。Termexo 是 MIT 开源的 Windows 工作台，用于集中使用 Claude Code、Codex 和 OpenCode。 v0.8.7 聚焦终端可靠性：Agent 明明还在运行，界面却空白并显示“已停止”，这样的故障比普通显示错乱更影响工作。本次修复了宽字符与窗口缩窄共...
根据 Turku 大学的一项研究，远程办公增加了睡眠时间但减少了身体活动。研究人员分析了混合办公者在远程办公和去办公室办公之间的睡眠、久坐行为及身体活动差异。结果显示，相比去办公室办公，远程办公日的平均睡眠时间多了 15分钟，但坐姿或卧姿时间增加了 45 分钟。站立、轻度身体活动以及中高强度身体活动的时间都有所减少。研究还显示，办公室办公日的步行和骑行活动，在远程办公日部分被坐姿、卧姿和睡眠所取代，因为远程办公不需要通勤。
水是人类文明中最常见也最不可或缺的物质，但如果单纯以理化的视角来看，它其实是太阳系中最怪异的液体之一。结冰时体积膨胀密度变小、高得离奇的表面张力和沸点，若仅按分子量计算，它在室温下甚至本该是气态。而当我们离开地球，将环境调至极端的高温与高压时，水分子的行为还会变得更加离奇。一个法国的研究团队，近期在实验室中成功打造出极端环境下的新型态冰结晶——六方密堆积超离子冰(hexagonal close-packed superionic ice)。当水受到数百万大气压的强烈挤压时，高温下的气体膨胀会被强制抑制，进而转化为…
中国各地分布着逾 12,000 座废弃煤矿，这些煤矿拥有巨大的地下空间和完善的基础设施，具备改造利用的潜力。太原理工大学、山西省煤基资源绿色高效开发工程中心等机构的研究人员在《中国矿业》期刊上发表论文，提议利用废弃煤矿展开农业试验。废弃煤矿的一个显而易见的缺陷是缺乏农作物所必须的阳光和降雨，但优点是地下环境能精确调控，不受天气波动、气候变化及自然灾害的影响。研究人员称，“在全球气候变化加剧及极端与封闭环境农业需求不断增长的背景下，探索煤矿地下空间农业实验模式具有重要科学意义与工程价值。”研究团队进行了一番评估，认…
点击查看原文
点击查看原文
Covonaut 是面向生产环境的 Go Agent 框架，纯 Go 实现，以 MIT 协议开源。覆盖 Agent 开发的完整链路：Agent Loop（含上下文自动压缩、指数退避重试）、工具系统、多 Agent 交接、图引擎（DAG 与 Pregel 两种执行模型）、会话树、可观测性，以及 A2A（Agent-to-Agent）、ACP（Agent Client Protocol）、AG-UI（Agent-U...
我已经给大家预警过了，没想到 DeepSeek V4.1 Flash 发布之后，还是被吹上天了！ 一个 Flash 居然打败 GPT-5.6 和 Opus 5 等旗舰模型了，有点聊斋的味道了！ 这个事