Yi-1.5开源项目 – Yi的升级版，性能更强

Online Llama 3.1 405B Chat是由Meta AI开发的一款先进的开源模型，拥有4050亿个参数。它在博客写作、数学计算、翻译等方面表现出色，优于70B模型，展示了Meta在AI领域的进步。

通义是由阿里云开发的大型语言模型，支持多轮对话、内容创作、逻辑推理、多模态理解和多语言支持。它于2023年9月13日公开上线，提供提示词模板、联网搜索功能，且模型开源，用户可自由定制和部署。通义旨在成为用户的个人AI助手，辅助工作、学习和生活，覆盖广泛的应用场景。

Thinking Claude旨在通过思考协议和浏览器插件提升Claude模型的深度思考能力，从而提高其交互质量，使其在回应前进行全面的思考和推理。

JDoodle Chrome扩展使用户可以直接在网页上选择代码并右键执行，简化了编程过程。用户可以在扩展内执行程序、管理执行历史，并访问JDoodle.com获取更多功能。

only one ai收集了超过30,000个AI工具，涵盖内容创作、营销、视频编辑、博客撰写和编程等领域，是一个全面的AI工具列表和目录。

问小白是由元石科技开发的一款综合AI智能助手，集成了DeepSeek R1 671B模型，支持网页端、PC桌面端、iOS和安卓端，免费提供多种AI功能，涵盖快速问答、智能搜索、文本创作、逻辑推理等，适用于创作、学习和工作等多种场景。

本项目旨在探索复杂性与智能的边界，通过简单的元胞自动机规则训练出更聪明的AI。通过不同复杂度的模式训练，找到智能涌现的最佳平衡点，并在逻辑推理和棋类预测等任务中表现卓越。项目提供完整的预训练和下游任务代码，方便复现和拓展。

PaLM 2（Pathways Language Model 2）是谷歌于2023年9月发布的先进语言模型，专注于提升多语言处理、逻辑推理和编程能力。 支持超过100种语言，擅长生成多种编程语言代码，并通过高级语言考试达到“精通”水平。模型提供四种尺寸（Gecko/Otter/Bison/Unicorn）， 适用于从移动端到企业级的多样化场景，驱动包括Bard、Workspace、Med-PaLM 2等25+谷歌产品。训练数据涵盖网页、书籍、代码等多元内容， 虽存在未公开细节的数据污染报告，但在多语言和推理任务中表现卓越。

讯飞星火大模型是由科大讯飞推出的新一代认知智能大模型，具备跨领域的知识和语言理解能力，能够基于自然对话方式理解与执行任务。该模型支持多模态能力，涵盖语言理解、知识问答、逻辑推理、数学问题解决、代码理解与编写等多种功能，适用于多种场景。

DeepSeek-R1是一个通过强化学习训练的671B参数推理模型，旨在在数学、代码和推理任务上与OpenAI-o1实现相当的性能。它基于Llama和Qwen蒸馏的六个稠密模型，支持32K上下文窗口与多模态扩展。在GSM8K数学推理测试中准确率达92.3%，在1.2TB代码数据上预训练，程序生成准确率提升27%。通过RLHF与宪法AI技术实现可控输出，表现出色，尤其在数学、编程和推理任务上。

Reasoning Gym是一个用于训练推理模型的Python库，能够生成无限多的推理任务，旨在通过强化学习提升模型的逻辑和算法推理能力。该项目支持多种推理数据集，易于集成和扩展，以满足研究和开发的需求。

360 智脑是由奇虎 360 公司独立开发的 AI 大模型，拥有数百亿参数规模和多模态生成能力。它支持文本生成、图像生成、文本到视频转换等功能，涵盖生成创作、多轮对话、逻辑推理等十大核心能力，旨在为用户提供强大的 AI 辅助工具。其训练基于 3.4 万亿 token 的语料库，支持多达 360K 的上下文长度，适用于复杂的 AI 交互场景。

Logic-of-Thought（LoT）旨在通过将逻辑注入上下文，提升大型语言模型的推理能力。该项目利用命题逻辑生成扩展的逻辑信息，并与现有的提示方法无缝集成，显著提升了多种提示方法在复杂任务中的性能。

handcalcs是一个基于Jupyter Notebook的Python库，能够将Python代码直接渲染成LaTeX格式的公式展示出来。它使得数学计算过程变得像手写公式一样直观清晰，适用于科学研究、工程设计和数据分析。handcalcs通过展示数值替换过程，使得计算更易于手动验证。

Quizzle是一款每日更新的猜词游戏，玩家需要在20个问题内猜出指定的单词。游戏通过问答的方式进行，考验玩家的逻辑推理能力和词汇量。