开源

1. 首页
2. 开源

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 476 浏览

PandasAI

一个基于Python的库，PandasAI将将该库依赖到自己项目中，只需几行代码，轻松实现数据读取，并能通过对话方式向数据进行提问

AI搜索问答 2025年06月05日 47 点赞 0 评论 475 浏览

Vanna.AI

一个基于人工智能的Python软件包，只需提出问题即可从去数据库里找到相应的数据，帮助生成Snowflake、BigQuery、Athena和Postgres等数据库的SQL。

Ai编程建站 2025年06月05日 95 点赞 0 评论 474 浏览

Circuit Tracer

Circuit Tracer 是 Anthropic 推出的开源工具，用于研究大型语言模型的内部工作机制。它通过生成归因图揭示模型在生成特定输出时的决策路径，帮助研究人员追踪模型的决策过程、可视化特征关系并测试假设。支持多种主流模型如 Gemma 和 Llama，提供交互式可视化界面，便于探索和分析模型行为。其功能包括生成归因图、可视化与交互、模型干预以及支持多种模型。

AI项目与工具 2025年06月11日 95 点赞 0 评论 474 浏览

Chat Nio

Chat Nio 是一款集成了丰富 AI 功能的一站式服务管理平台，支持文本、图像、音频和视频处理，兼容 OpenAI、Anthropic Claude 等多种 AI 模型。其主要功能包括文件解析、对话记忆、云端同步、多端适配等，同时提供开源版本以满足开发者的个性化需求。适用于个人用户、开发者及企业，支持多种应用场景，如客户服务、内容创作、数据分析和教育领域。

AI项目与工具 2025年06月12日 42 点赞 0 评论 473 浏览

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。

AI项目与工具 2025年06月12日 12 点赞 0 评论 473 浏览

Awesome

一个用于实时监控和检测 Ollama 服务可用性和性能的系统。支持多语言，能够方便用户进行服务检测和性能监控。

Ai开源项目 2025年06月05日 87 点赞 0 评论 472 浏览

Gemma 2

Gemma 2是一款由谷歌DeepMind开发的开源人工智能模型，提供90亿和270亿参数版本。它具有卓越的性能、高效的推理速度和广泛的硬件兼容性，适用于各种应用场景。Gemma 2不仅支持多种AI框架，还提供了丰富的资源和工具，以支持开发者和研究人员负责任地构建和部署AI。

AI项目与工具 2025年06月12日 57 点赞 0 评论 472 浏览

Perplexica

Perplexica是一款开源的AI驱动搜索引擎，支持多模式搜索（如全网、学术、视频等），兼容本地大型语言模型，具备强大的自然语言理解和实时信息更新能力。适用于个人、学术、企业和教育场景，帮助用户高效获取所需信息。

AI项目与工具 2025年06月12日 65 点赞 0 评论 471 浏览

Co

Co-op Translator是一款基于Azure AI服务的开源多语言翻译工具，支持Markdown文件及图像文本的自动化翻译。它采用先进的大型语言模型（LLM）技术，确保翻译质量的同时保持语义准确性和上下文连贯性。该工具可无缝集成到现有项目中，帮助简化本地化流程，适用于开源项目文档、软件开发、技术博客、教育材料以及企业内部文档等多种应用场景。

AI项目与工具 2025年06月12日 81 点赞 0 评论 470 浏览