首个经Lean 4形式化验证的三维构造实体几何（CSG）运算实现，验证代码仅93行
近7日信号 1 条
开源轻量级多模态大模型，由Neutrino Labs发布，主打低推理成本与高视觉理解精度
近7日信号 1 条
加拿大比特币矿企，建设AI数据中心并出租算力
「Hut 8正从比特币矿企转型为AI算力基础设施提供商，其核心价值在于低成本电力+合规选址+快速交付能力，但该模式在中国不可复制——国内政策严禁加密货币挖矿，且AI算力租赁市场已被云厂商与国资智算中心高度垄断。」
近7日信号 3 条
立昂技术拟募资2.55亿元建设的AI算力基础设施项目
近7日信号 1 条
上海摹范科技推出的人机协作Agent平台，获字节跳动早期投资人领投6000万元天使轮融资
近7日信号 1 条
微软开源AI智能体治理工具包，覆盖OWASP Agentic Top 10全部风险项
近7日信号 1 条
将技术书籍PDF自动转化为Claude可调用技能的开源工具
近7日信号 1 条
基于Product Hunt发布的AI智能体开发平台
近7日信号 1 条
针对多模态大模型视频定位任务提出的稀疏帧自适应方法
近7日信号 1 条
首个聚焦体育领域真实世界预测能力的大模型评测基准
近7日信号 1 条
首次系统评估模糊测试在强化学习智能体安全验证中的有效性
近7日信号 1 条
面向长视频理解的置信度感知动态证据推理框架
近7日信号 1 条
面向移动端部署的高效德语优先2.7B语言模型
近7日信号 1 条
基于隐状态谱特征的LLM幻觉检测新指标D-Score
近7日信号 1 条
基于经验增强的LLM智能体实现端到端极端天气预警的新型框架
近7日信号 1 条
腾讯推出的Agent「小脑」架构，意图驱动型智能体系统
「Marvis代表国内首个真正落地操作系统级意图驱动Agent的实践样本，其高留存（54%七日留存）与桌面原生体验验证了「AI小脑」模式的用户接受度，但技术黑盒化与腾讯生态强绑定制约外部复刻。」
近7日信号 3 条
纽约大学，人工智能与物理代理研究前沿机构
近7日信号 2 条
具身智能创业公司，由前大疆激光雷达负责人洪小平创立，聚焦电动轮椅及终局具身机器人
近7日信号 1 条
全球排名第二的开源OCR模型，与Kimi K3共同包揽全球前二
近7日信号 1 条
基于50万小时视频训练的首个具备隐式触觉感知能力的世界模型
近7日信号 1 条
开源监控系统夜莺v9引入内置AI助手、20+开箱即用Skill及MCP Server支持
近7日信号 1 条
支持1-bit量化模型（如Bonsai-27B）推理的llama.cpp定制分支，含专用CUDA核
近7日信号 1 条
聚焦决策领域的AI初创公司，定位为“决策领域的Cursor”
近7日信号 1 条
阿里巴巴旗下AI芯片公司，主导SAIL开源软件栈
「平头哥SAIL开源不是创业机会，而是国产AI基建的强制性中间件——小团队无法复刻其芯片-集群-生态协同壁垒，但所有做国产大模型推理优化、私有化部署或算力调度的B端服务商必须适配它。」
近7日信号 5 条
OPPO推出的端侧Multi-Agent协同系统，含全域记忆与主动服务能力
近7日信号 1 条
日本云服务企业，投资260亿日元建设生成式AI基础设施
近7日信号 1 条
中国机器人制造商，正考虑赴港上市
近7日信号 1 条
面向情感AI的可更新、可纠正、可删除的记忆管理机制，解决过期信息与隐私泄露风险
近7日信号 1 条
提出AI从科研辅助工具演变为AI科学家，需重构科研组织管理模式
近7日信号 1 条
大模型公司中由前媒体人转型的工种，负责用专业写作经验优化AI生成内容质量
近7日信号 1 条