搜索：AI数学家系统

「AI数学家系统」共找到 10581 篇相关文章

Turso：用 Rust 重写 SQLite，让数据库跑在每一个边缘节点

Turso用Rust重写SQLite内核，解决其单写者限制和缺乏网络同步能力的短板。它有嵌入式副本、边缘同步和向量搜索等特性，适用于AI Agent、多租户SaaS等场景，与竞品相比优势独特。

4月19日，驭势科技通过港交所聆讯，这是其第二次冲击IPO。它是全球唯一为机场提供大型商业营运L4级自动驾驶解决方案的供应商，主营车辆、软件、套件解决方案及车辆租赁服务，业务聚焦智慧民航、厂区、城市三大赛道。

在AI coding工具快速演进的当下，蚂蚁集团CodeFuse算法团队在FSE 2026提出无指令代码编辑框架NES。它从历史编辑轨迹学习开发者意图，有双模型架构，实现分三环节，重构交互链路，提升开发者体验。

OpenMontage可将AI编程助手变成视频制作工作室，用自然语言描述需求，智能体就能完成视频制作。它能做实拍视频，支持多种参考视频输入，零API Key也能用，还给出了运行步骤和推荐Prompt示例。

上交大、中山大学等发表长文对LLM Agents中的记忆、Skills、协议与Harness工程进行统一综述。介绍了从权重到上下文再到Harness能力的三次迁移，阐述记忆、技能、协议系统及Harness工程，还分析了模块间耦合。

在AI算力争霸时代，英伟达GPU市值狂飙，但蛋糕正被分食。前谷歌TPU工程师Henry揭秘TPU，从架构、产能、软件等维度分析其优缺点，指出在特定条件下TPU可挑战GPU，未来芯片市场将百花齐放。

著名AI技术作家Sebastian Raschka发布博客《现代LLM中注意力变体的可视化指南》，回顾近年开发并用于开放权重架构的注意力变体，包括多头、分组查询、多头潜在等注意力机制，还分析各机制特点、应用场景及优劣势。

文章指出Claude Code、Cursor等AI编程工具因开发方式问题，代码库陷入难逆转状态，或迎“大规模重写潮”。而OpenCode强调代码一致性，代码库更干净。其创始人分享开发经验、工作流及对行业现象的看法。

生成式AI发展使深度伪造技术安全隐患受关注，现有检测器表现不佳。中科院自动化所联合蚂蚁集团提出Veritas框架，构建HydraFake数据集，赋予大模型“模式感知推理”能力，实验效果超现有检测器，还给出未来研究方向。

多模态大模型在真实世界会“失聪”，现有第一人称视频问答/理解基准长期偏“视觉中心”。复旦等团队推出首个系统评测第一人称声音理解能力的基准EgoSound，能让模型听懂世界，评测显示当前模型与人类差距大。