Al项目

AI工具集介绍和收录了当前流行的AI研究项目和框架,紧跟最新AI领域的进展,解读AI研究论文和方法框架,帮你快速了解这些项目的工作原理。

747℃FlashProve – Anthropic 开源的可验证推理系统

FlashProve是什么FlashProve是Anthropic开源的可验证推理系统,用零知识证明让模型服务商在隐藏权重的情况下,证明某次回答确实由指定模型生成。FlashProve在400B参数的Llama 4 Maverick上实测...

669℃LifeVal – OpenAI 推出的日常生活任务评测基准

LifeVal是什么LifeVal 是 OpenAI 推出的评测基准,用于衡量 AI 帮助人们完成日常任务的能力。LifeVal 基于美国时间使用调查、跨国时间使用研究及一项覆盖 3995 人的代表性调查构建,任务涵盖托育、健康、教育、家...

183℃Hyra 2.0 – 腾讯混元推出的 AI 科研智能体

Hyra 2.0是什么Hyra 2.0是腾讯混元推出的AI科研智能体,是Hyra 1.0的升级版,从自动解题转向研发工具。Hyra 2.0能长期自主训练科学模型、优化研究工作流,把经验沉淀为可复用资产,成果已覆盖蛋白质设计、分子模拟、数学...

914℃LBSwork – 腾讯地图推出的桌面端 AI 地图工作台

LBSwork是什么LBSwork 是腾讯地图推出的桌面端 AI 地图工作台,基于 WorkBuddy 同源 Harness 框架,融合混元大模型与时空大模型能力,内置可视化、出行、营销洞察、选址、网约车、人群热力、物流履约 7 大专家 ...

786℃书童 Pagekin – 开源 AI 小说写作工具,可用 Ollama 零成本

书童 Pagekin是什么书童 Pagekin 是开源免费的 AI 长篇小说写作桌面软件,支持 Windows 和 macOS。书童 Pagekin 把写小说拆成设定、架构、蓝图、写稿、审稿、修稿、定稿的流水线,AI 负责起草和辅助,每一...

28℃LongCat-2.5 – 美团 LongCat 推出的原生多模态模型

LongCat-2.5是什么LongCat-2.5是美团LongCat推出的原生多模态模型,总参数1.6万亿、每token激活约480亿。LongCat-2.5面向长程智能体任务,将视觉信号离散化为多层级token与文本统一处理,强化Vi...

311℃Super-agent – DeepSeek 开源的超级 Agent 系统架构

Super-agent是什么Super-agent 是 DeepSeek Harness 团队推出的持续在线 Agent 系统架构。Super-agent 通过双层架构、事件驱动、异步多信道交互、存算分离与 Watchdog 异常自愈,实...

391℃Data2Paper – AI 学术助手,支持数据写论文与综述审稿

Data2Paper是什么Data2Paper 是覆盖研究全流程的 AI 学术助手,将数据分析、论文写作、文献综述与模拟审稿融于同一平台。上传数据可得到带统计分析和图表的论文初稿,输入主题能生成引用真实文献的综述,已有稿件可获取模

724℃Xiaomi-OCR-0 – 小米开源的轻量级多模态文档理解模型

Xiaomi-OCR-0是什么Xiaomi-OCR-0 是小米开源的 0.8B 轻量级多模态文档理解模型,基于 Qwen3.5-0.8B 训练,集文档解析、关键信息抽取、OCR 视觉问答于一体。在Real5-OmniDocBench 95...

10℃SenseNova 6.8 Flash – 商汤日日新推出的多模态智能体模型

SenseNova 6.8 Flash是什么SenseNova 6.8 Flash是商汤日日新推出的旗舰多模态智能体模型,主打主动办公与设计生成,依托长期记忆记住客户背景,信息变化时主动预警;支持动态PPT、海报、3D网页及Figma工作...

643℃云策Omni – 本地 AI 工作平台,可自定义赋予 AI 能力

云策Omni是什么云策Omni是跨平台桌面本地AI工作平台,也是首款可自定义赋予AI能力的互联网产品。云策Omni通过模型+技能+插件+虚拟运行环境组合,让AI在授权范围内完成项目开发、图像视频创作、数据操作、远程管理与自动化验

398℃MOSS-Live – 模思智能推出的全双工实时交互系统

MOSS-Live是什么MOSS-Live是模思智能推出的全双工实时交互系统。MOSS-Live让AI像真人一样边听边说,语义级判断何时回应、等待或接受打断,不被附和声和环境音误触发;支持视频通话、屏幕共享与环境声理解;采用前后台协同架

734℃面试大师 – AI 面试助手,面试官说完 1 秒内给出回答要点

面试大师是什么面试大师是北京拉兰摩信息科技有限公司推出的 AI 面试助手。面试官说完约 1 秒,即结合简历、目标岗位和知识库给出回答要点,追问也能接上。适配主流会议与招聘面试系统,电脑版共享屏幕、录制全程隐身。面

732℃GO-3 Preview – 智元机器人推出的具身智能模型

GO-3 Preview是什么GO-3 Preview 是智元机器人推出的具身智能模型,特点是实现预训练、后训练、部署后全链路规模化学习。预训练阶段用 WRAM 架构从人类第一视角视频学技能,后训练通过 Genie Evolver 融合真...

887℃HelixHarness – 滴滴开源的 AI Coding 工程化框架

HelixHarness是什么HelixHarness 是滴滴金融技术团队开源的 AI Coding 工程化框架,运行在 Codex 和 Claude Code 之上。HelixHarness通过 Propose→Apply→Archiv...

230℃ThinkRail – JetBrains 开源的 AI 智能体 IDE

ThinkRail是什么ThinkRail 是 JetBrains 开源的 AI 智能体 IDE,在 pi 编程智能体外包了一层完整 IDE 界面。ThinkRail 用 git worktree 把每个任务隔离在独立分支和目录中,让多个...

193℃Nemotron 3.5 Transcribe – 英伟达开源的语音大模型

Nemotron 3.5 Transcribe是什么Nemotron 3.5 Transcribe 是英伟达推出的开源语音大模型,采用语音编码器加 MoE 架构,约 43 亿活跃参数,支持 40 种语言,可处理最长 1 小时、最多 8 人...

1000℃Buddy One – 腾讯推出的跨应用 AI 协同体系

Buddy One是什么Buddy One 是腾讯推出的跨应用 AI 协同体系,以 WorkBuddy 的 Agent 能力为统一底座,打通腾讯会议、腾讯文档、ima、腾讯网盘(后续接入 Ardot 等)五款产品,实现账号关联、积分互通、...

138℃新词雷达 – 开源 AI 新词监测工具,自动扫描全网新词信号

新词雷达是什么新词雷达(new-term-radar)是开源的 AI 新词监测工具,帮用户在关键词工具收录之前就发现新词。新词雷达每天自动扫描 X 账号、Hugging Face 热榜、GitHub 爆发仓库、AI 导航站 sitemap...

579℃Cindy – 开源 AI Agent 工作台,可使用浏览器登录态真干活

Cindy是什么Cindy 是开源的 AI Agent 工作台,可以运行在自己的电脑上,整合 Claude Code、Codex、Pi 等多个 Agent 引擎,可随时切换不断上下文;支持 macOS/Windows/Linux/iOS/...

220℃MiniCPM-OCR – 面壁智能开源的 OCR 系列模型

MiniCPM-OCR是什么MiniCPM-OCR 是面壁智能发布并开源的 OCR 系列模型。 MiniCPM-OCR 1.0(1.3B)为文档解析专用模型,在 Real5-OmniDocBench与 OCRBench v2双获 SOTA...

987℃Gemini 4 Carbon – 谷歌 DeepMind 推出的最新旗舰大模型

Gemini 4 Carbon是什么Gemini 4 Carbon 是谷歌 DeepMind 推出的最新旗舰大模型,是继 Gemini 4 Argon 之后的下一代前沿模型。Gemini 4 Carbon在 Artificial Anal...

92℃IELTS Writing Practice – 雅思写作机考模拟与 AI 批改工具

IELTS Writing Practice是什么IELTS Writing Practice 是专为雅思考生设计的雅思写作机考模拟与 AI 批改工具,提供中文和英文两个版本。目前中国大陆雅思已全面改为机考,在电脑上限时打字写作的练习方式...

907℃Unlimited OCR 2 – 百度文心开源的端到端文档解析模型

Unlimited OCR 2是什么Unlimited OCR 2 是百度文心开源的端到端文档解析模型,支持任意页数超长文档解析,可一次性处理数千页书籍仍保持精度与效率。Unlimited OCR 2采用稀疏参考滑动窗口注意力机制与无限解...

106℃Genspark Media Studio – Genspark 推出的 AI 视频创作工具

Genspark Media Studio是什么Genspark Media Studio 是 Genspark 推出的一站式 AI 视频创作工作室。Genspark Media Studio是 Agent 担任导演,统一调度数十款顶尖生...