产品库

AI驱动的开源笔记/研究平台，尊重您的隐私。

Open Notebook是一个结合了人工智能的强大开源笔记和研究平台，专为研究人员、学生和专业人士设计，旨在增强他们的学习和能力，同时完全控制工作流程、模型以及数据的使用和暴露。该产品代表了一种新型的隐私保护学习工具，它通过AI技术帮助用户整理笔记、生成播客和深入理解学习内容，同时确保用户的数据隐私不受侵犯。Open Notebook的背景信息显示，它是一个开源项目，鼓励社区参与和贡献，以构建一个能够个性化辅助每个人发展的智能伙伴。

先进的文本生成模型，支持多样化任务

Llama-3.1-Tulu-3-8B-DPO是Tülu3模型家族中的一员，专注于指令遵循，提供完全开源的数据、代码和配方，旨在作为现代后训练技术的全面指南。该模型专为聊天以外的多样化任务设计，如MATH、GSM8K和IFEval，以达到最先进的性能。模型主要优点包括开源数据和代码、支持多种任务、以及优秀的性能。产品背景信息显示，该模型由Allen AI研究所开发，遵循Llama 3.1社区许可协议，适用于研究和教育用途。

AI数学极限测试基准

FrontierMath是一个数学基准测试平台，旨在测试人工智能在解决复杂数学问题上的能力极限。它由超过60位数学家共同创建，覆盖了从代数几何到Zermelo-Fraenkel集合论的现代数学全谱。FrontierMath的每个问题都要求专家数学家投入数小时的工作，即使是最先进的AI系统，如GPT-4和Gemini，也仅能解决不到2%的问题。这个平台提供了一个真正的评估环境，所有问题都是新的且未发表的，消除了现有基准测试中普遍存在的数据污染问题。

AI技术与纸质书的结合，让阅读体验无限扩展。

BookLed是一款结合了AI技术与纸质书的产品，它通过内置的电子硬件和页面识别传感器，能够识别用户正在阅读的页面，并在用户翻页时将页码信息发送至电脑。随后，通过Python代码调用OpenAI API，利用生成性AI技术丰富和扩展用户的阅读体验。所有相关代码均为开源，可在GitHub上下载。

简化复杂研究，让知识触手可及。

Jotlify是一个致力于将复杂的研究论文转化为易于理解的故事和洞察的平台。它通过AI技术，将学术论文转化为引人入胜的故事，帮助学生、研究人员、专业人士和好奇的头脑轻松获取有价值的信息。Jotlify的主要优点包括：简化了阅读体验，通过AI问答提供即时详细答案，允许用户上传自己的论文进行分析，以及提供先进的搜索和合并功能。

数学领域的开源AI模型，助力数学竞赛。

Numina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。该模型在AI数学奥林匹克竞赛中获得了第一名，显示出其在解决复杂数学问题上的强大能力。Numina是一个非盈利组织，致力于推动数学领域人类和人工智能的发展。

构建你的AI驱动的第二大脑。

AI Notebook是一款AI驱动的笔记应用，旨在通过智能摘要、灵活捕捉以及各种样式来提升用户的生产力和学习效率。它能够无缝地组织文本、图片甚至音频，提供强大的笔记体验。AI Notebook通过AI助手提升生产力和学习，用户可以通过上传音频、文本、照片和YouTube链接来提问或使用AI进行头脑风暴。它还具备高质量的音频录制和实时转录功能，以及AI生成的摘要和模板，以及自动生成的闪卡和测验，帮助用户高效地创建、组织和复习所学内容。

数字化甲骨文研究与共享平台

甲骨文AI协同平台是一个专注于甲骨文研究的数字化平台，集成了甲骨文全信息著录库、甲骨文总字表、数字工具箱等资源，通过AI技术辅助甲骨文的释读、研究和教育传播。平台汇聚了众多博物馆、专家学者以及社会各界人士的共同努力，旨在推动甲骨文研究的深入发展和甲骨文化的传承。

AI笔记助手，快速生成讲座笔记。

Voxpad是一款利用人工智能技术帮助用户快速生成讲座笔记的网站。它通过自动化笔记过程，节省了用户手动记录笔记的时间，同时提供了精确和详细的笔记内容，包括关键点和总结，并附有时间戳，方便用户快速定位到特定部分。此外，Voxpad支持多文件格式，具有易于使用的界面和文本编辑器，允许用户编辑和格式化笔记，以满足个性化需求。

高性能英文文本生成模型

OLMo-2-1124-7B-SFT是由艾伦人工智能研究所（AI2）发布的一个英文文本生成模型，它是OLMo 2 7B模型的监督微调版本，专门针对Tülu 3数据集进行了优化。Tülu 3数据集旨在提供多样化任务的顶尖性能，包括聊天、数学问题解答、GSM8K、IFEval等。该模型的主要优点包括强大的文本生成能力、多样性任务处理能力以及开源的代码和训练细节，使其成为研究和教育领域的有力工具。

下一代AI代理操作系统

/dev/agents是一个致力于构建下一代AI代理操作系统的平台。它旨在通过新的用户界面模式、重新构想的隐私模型和开发者平台，使计算机能够像人与人之间的帮助一样，帮助人们在日常生活中使用软件。这个平台挑战了现有的技术限制，致力于创造更加强大和消费者友好的应用体验。

AI聊天应用，提供安全私密的对话体验。

PocketPal AI是一款可以在iOS设备上运行的AI聊天应用，它允许用户直接在设备上与先进的AI模型进行互动，而无需互联网连接，确保了对话的私密性和安全性。该应用代表了人工智能技术在移动设备上的应用，主要优点包括无需联网的离线聊天、数据本地处理以保护隐私、以及与Hugging Face平台的集成，方便用户搜索、下载和使用GGUF格式的模型。PocketPal AI是LLM Ventures公司的产品，免费提供给用户，定位于需要私密AI对话和数据处理的用户群体。

QwQ是一款专注于深度推理能力的AI研究模型。

QwQ（Qwen with Questions）是一款由Qwen团队开发的实验性研究模型，旨在提升人工智能的推理能力。它以一种哲学精神，对每个问题都抱有真正的好奇和怀疑，通过自我提问和反思来寻求更深层次的真理。QwQ在数学和编程领域表现出色，尤其是在处理复杂问题时。尽管它仍在学习和成长，但它已经展现出了在技术领域深度推理的重要潜力。

Prompt越狱手册，AI技术交流与越狱技巧分享平台。

PromptJailbreakManual是一个专注于AI越狱技术的平台，提供技术交流和分享越狱技巧。它代表了AI技术在越狱领域的应用，强调了技术的重要性和创新性。该平台背景信息显示，它由Acmesec组织发起，旨在通过开源协作的方式，共同探索和突破AI的限制。产品定位为技术爱好者和专业人士提供交流和学习的空间，目前是免费提供给用户使用。

视频生成模型Sora的存档库

SoraVids是一个基于Hugging Face平台的视频生成模型Sora的存档库。它包含了87个视频和83个对应的提示，这些视频和提示在OpenAI撤销API密钥前被公开展示。这些视频均为MIME类型video/mp4，帧率为30 FPS。SoraVids的背景是OpenAI的视频生成技术，它允许用户通过文本提示生成视频内容。这个存档库的重要性在于它保存了在API密钥被撤销前生成的视频，为研究和教育提供了宝贵的资源。

一款可以模拟人类思维过程的搜索工具

纳米搜索是一款能够模拟人类思维过程的搜索工具，它通过专家协同（CoE）的慢思考模式，为用户提供了一种全新的搜索体验。该产品通过分析用户的搜索需求，不仅能够展示已有的图文和视频内容，还能对搜索结果进行改写和创造，从而帮助用户更深入地理解和探索信息。纳米搜索的主要优点在于其能够将搜索结果转化为创意资源，并形成视频创作，实现搜索即创作，从根本上改写了搜索引擎的定义和形态。

开源AI代理项目，展示如何构建强大的AI代理并流式传输响应及生成工件。

PostBot 3000是一个开源项目，展示了如何构建一个强大的AI代理，流式传输响应并生成工件。该项目使用LangGraph Python构建AI工作流，并使用FastAPI创建一个健壮的API。它利用了多种技术栈，包括LangGraph、Vercel AI SDK、gpt-4o-mini、FastAPI、Next.js、TailwindCSS等。PostBot 3000的开源特性使得任何想要实现类似解决方案的人都能够更容易地进行开发和部署。

使用Anthropic API进行Playwright测试的AI工具

playwright-ai是一个集成了Anthropic的AI能力的Playwright测试插件。它允许开发者使用自然语言描述测试步骤，通过AI来执行复杂的测试任务，提高了测试的效率和准确性。该技术的主要优点包括简化测试流程、减少重复代码和提高测试覆盖率。产品背景是基于Playwright测试框架和Anthropic的AI技术，适用于需要进行自动化测试的软件开发项目。目前该项目是开源的，因此对于开发者来说是免费的。

开源的先进语言模型后训练框架

Tülu 3是一系列开源的先进语言模型，它们经过后训练以适应更多的任务和用户。这些模型通过结合专有方法的部分细节、新颖技术和已建立的学术研究，实现了复杂的训练过程。Tülu 3的成功根植于精心的数据管理、严格的实验、创新的方法论和改进的训练基础设施。通过公开分享数据、配方和发现，Tülu 3旨在赋予社区探索新的和创新的后训练方法的能力。

实时AI视频生成开源模型

LTXV是Lightricks推出的一个实时AI视频生成开源模型，它代表了视频生成技术的最新发展。LTXV能够提供可扩展的长视频制作能力，优化了GPU和TPU系统，大幅减少了视频生成时间，同时保持了高视觉质量。LTXV的独特之处在于其帧到帧学习技术，确保了帧之间的连贯性，消除了闪烁和场景内的不一致问题。这一技术对于视频制作行业来说是一个巨大的进步，因为它不仅提高了效率，还提升了视频内容的质量。

K-12教育工作者的免费AI培训课程

Common Sense Media和OpenAI联合推出的'ChatGPT Foundations for K-12 Educators'是一个免费的在线课程，旨在帮助教师理解和负责任地将人工智能的基础知识融入课堂教学。该课程为期一小时，包含九个课程单元，为教育工作者提供关于人工智能的基本知识，并介绍如何确保学生安全和隐私的方法。课程内容涵盖人工智能基础、数据隐私考量、道德使用指南以及如何将AI融入日常教学工作的想法。

释放超级推理能力，提升AIME & MATH基准测试性能。

DeepSeek-R1-Lite-Preview是一款专注于提升推理能力的AI模型，它在AIME和MATH基准测试中展现了出色的性能。该模型具备实时透明的思考过程，并且计划推出开源模型和API。DeepSeek-R1-Lite-Preview的推理能力随着思考长度的增加而稳步提升，显示出更好的性能。产品背景信息显示，DeepSeek-R1-Lite-Preview是DeepSeek公司推出的最新产品，旨在通过人工智能技术提升用户的工作效率和问题解决能力。目前，产品提供免费试用，具体的定价和定位信息尚未公布。

潮汐 AI 提供即时答案和创意灵感。

潮汐 AI 是一个基于大型语言模型的聊天平台，旨在为用户提供高效的问答服务。它的主要优点包括快速响应、丰富的知识库和用户友好的界面。该产品适合需要快速获取信息和灵感的用户，定位于教育和生产力领域。

AI模型部署和推理优化的专家

Neural Magic是一家专注于AI模型优化和部署的公司，提供领先的企业级推理解决方案，以最大化性能和提高硬件效率。公司的产品支持在GPU和CPU基础设施上运行领先的开源大型语言模型（LLMs），帮助企业在云、私有数据中心或边缘环境中安全、高效地部署AI模型。Neural Magic的产品背景信息强调了其在机器学习模型优化方面的专业知识，以及与科研机构合作开发的创新LLM压缩技术，如GPTQ和SparseGPT。产品价格和定位方面，Neural Magic提供了免费试用和付费服务，旨在帮助企业降低成本、提高效率，并保持数据隐私和安全。

开源AI开发者助手，提升开发效率。

OpenHands是由All Hands AI开发的开源AI软件工程师，旨在帮助开发者处理积压的工作，让他们能够专注于解决难题、创造性挑战和过度工程化他们的配置文件。该产品在SWE-bench验证问题集中解决了超过一半的问题，是首个得分超过50%的AI工程师。此外，来自十几个学术机构的顶级代码生成研究人员每天都在帮助改进它。OpenHands在GitHub上以MIT许可证开源，拥有35k星标和190+贡献者。它与AI安全专家如Invariant Labs合作，以平衡创新与安全。

人类中心语言模型和模拟器的领导者

Nous Research专注于开发以人为中心的语言模型和模拟器，致力于将AI系统与现实世界用户体验对齐。我们的主要研究领域包括模型架构、数据合成、微调和推理。我们优先开发开源、人类兼容的模型，挑战传统的封闭模型方法。

开源、自托管、AI驱动的应用构建器。

Srcbook是一个开源、自托管的AI驱动应用构建器，它允许用户快速构建和部署各种应用程序。产品背景信息显示，Srcbook旨在提供一个平台，让开发者和非技术用户都能够轻松地构建应用程序，从而提高生产力和创新能力。它支持多种应用场景，如项目管理工具、音乐发现页面、技术文档网站等。Srcbook的主要优点包括开源性、灵活性和易用性，用户可以根据自己的需求定制和扩展功能。

简单易用，释放AI的强大力量

5ire是一个以简洁和用户友好为核心的AI产品，旨在让即使是初学者也能轻松利用大型语言模型。它支持多种文档格式的解析和向量化，具备本地知识库、使用分析、提示库、书签和快速关键词搜索等功能。作为一个开源项目，5ire提供免费下载，并且提供了按需付费的大型语言模型API服务。

下一代AI作业助手，免费获取作业答案

AI Homeworkify是一个基于人工智能的在线问答平台，旨在帮助学生通过提供详细的答案和解题步骤来学习和理解各种学术问题。该平台不涉及版权侵犯，注重教育平等，提供免费、即时的作业帮助，支持多种学科和语言。AI Homeworkify的主要优点包括完全免费、无需注册、即时答案、全天候服务、多设备兼容、隐私保护和逐步解决方案。产品背景信息显示，AI Homeworkify致力于通过技术手段减少教育不平等，为全球学生提供免费的优质学习辅助服务。

开源机器人模拟平台，用于生成无限机器人数据和泛化AI。

ManiSkill是一个领先的开源平台，专注于机器人模拟、无限机器人数据生成和泛化机器人AI。由HillBot.ai领导，该平台支持通过状态和/或视觉输入快速训练机器人，与其它平台相比，ManiSkill/SAPIEN实现了10-100倍的视觉数据收集速度。它支持在GPU上并行模拟和渲染RGB-D，速度高达30,000+FPS。ManiSkill提供了40多种技能/任务和2000多个对象的预构建任务，拥有数百万帧的演示和密集的奖励函数，用户无需自己收集资产或设计任务，可以专注于算法开发。此外，它还支持在每个并行环境中同时模拟不同的对象和关节，训练泛化机器人策略/AI的时间从天缩短到分钟。ManiSkill易于使用，可以通过pip安装，并提供简单灵活的GUI以及所有功能的广泛文档。