Phi-4模型 – 小型语言模型，擅长复杂推理和数学问题解决

Llama Models 是由 Meta 推出的开源大语言模型，旨在为开发者、研究人员和企业提供构建、实验和扩展生成式 AI 的平台。Llama 模型作为基础系统的一部分，为全球社区的创新提供了支持。其特点包括开放的访问权限、广泛的生态系统以及对信任与安全的重视。Llama 模型支持多种规模，适用于不同场景，并通过 Hugging Face 等平台提供下载和使用。

Yarnit是一个基于生成式AI的个性化内容创作平台，旨在帮助企业最大化内容营销的投资回报率。它结合了生成式AI和专有AI技术，支持市场营销人员创意、撰写、设计、发布和测量个性化内容。Yarnit的AI会不断学习外部数据，并可根据企业的数据进行训练，最终生成符合品牌和趋势的个性化内容。

一个关于金融领域大语言模型应用的知识库，涵盖生成式AI、智能代理、RAG检索增强等技术在金融领域的实践。包含了各类金融场景下的LLM应用案例、论文资料、数据集以及多模态金融分析等内容，适合研究金融科技与AI结合的开发者参考。

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

DataChat AI是一个创新的云平台，旨在简化数据科学和分析任务，使有限编码经验的用户也能轻松使用。该工具结合直观的点击界面和强大的生成式AI技术，使用户能够执行数据科学功能并产生可操作的洞见，而无需编写复杂的Python或SQL代码。

该模型在全球首届 AI 数学奥林匹克竞赛（AIMO）获得了第一名，开源，可以在本地电脑上直接跑。它是基于 deepseek-math-7b-base 的微调版本，经过两阶段微调以达到排行榜获胜解决方案，并使用思路链 CoT 提示进行模板化，同时采用 MSFT 的 ToRA 格式进行 GPT4 输出并执行代码，具备与 Transformers 集成的能力。

A-Frame是一个支持WebXR标准的AR/VR开发工具，集成了3D Gaussian Splatting与生成式AI技术，能够实时生成交互式数字场景。它兼容PC、手机和VR头显设备，适用于多种元宇宙应用开发。

微软推出的数学推理项目，旨在展示小型语言模型（SLM）在数学推理方面可以通过自我演化的深度思考（Deep Thinking）过程达到与大型模型相当甚至更好的性能。

Rasa是一个开创性的对话式人工智能平台，旨在增强各行业的客户互动，提供构建复杂AI助手的强大框架。这些助手能够理解和处理人类语言，并提供上下文相关且高度个性化的响应。Rasa的核心吸引力在于为企业提供一种强大的工具，以在不牺牲人类交流细微差别的情况下自动化沟通。

卡内基梅隆大学团队在首届AI数学奥林匹克竞赛(AIMO)中获得亚军的开源项目，包含完整的训练数据集(AIME、AMC、Odyssey-Math)、验证集、模型微调代码和数据收集脚本，为研究AI解决数学问题提供了宝贵资源

AutoRFP.ai是一款利用生成式AI自动创建RFP响应的工具，消除手动响应的需要，提高响应质量。用户可以上传各种格式的RFP或安全问卷，系统将快速生成初步响应草稿，并提供AI工具进行优化和协作。

phi-1.5是微软发布的一个具有13亿参数的语言模型，在自然语言处理和复杂推理任务上表现优异，其性能可与体量大5倍的模型相媲美。该模型遵循‘教科书就是你需要的一切’的原则，并且不使用爬虫爬取的互联网数据。

Cognigy是一个革命性的对话式AI平台，旨在优化企业与客户之间的沟通，提升客户服务效率。通过先进的AI技术，Cognigy.AI能在语音、聊天和消息传递中增强互动，转变客户参与体验，提升联系中心的工作效率。

用蒙特卡洛树搜索与大型语言模型结合解决数学问题的演示项目，就像给AI装上了解题的“指南针”，让它能更高效地找到解题路径

DSPy Examples 是斯坦福NLP团队开发的DSPy框架配套示例项目，通过11个实际案例展示如何用模块化编程语言模型替代传统提示工程。项目覆盖复杂推理、文本处理及API集成等场景，包含数学概率计算、RAG管道优化等典型应用，官方文档和GitHub仓库提供详细教程与代码实现。