满血o1是OpenAI于2024年12月发布的o1模型正式版本，相比预览版在推理能力、处理速度和多模态支持上有显著提升。 该模型专为处理复杂问题设计，支持文本和视觉输入，在数学竞赛、编程挑战和科学问题解决中表现优异。 通过ChatGPT订阅或开发者API提供服务，Pro版月费约1450元人民币，国内用户需通过虚拟卡支付。
微软的Phi-4算是海外小参数模型的代表产品，具有140亿参数，数学能力超越GPT-4。该模型采用高质量的合成数据集和精选的有机数据，结合创新的后训练技术，展现出在各类基准测试中的超常表现。
InternLM-Math是一个先进的双语开源数学推理语言模型，具备求解、证明、验证和增强功能，旨在提高数学问题解决的效率和准确性。
利用大型语言模型（LLM）作为数学问题的黑箱求解器，为数学问题提供自动化解决方案，探索数学与人工智能的结合
这是一个专为边缘设备设计的Transformer模型推理库，旨在实现低成本、低能耗的处理。它能够以30倍的实时速度运行tiny.en Whisper模型进行语音转录，相较于最知名的实现速度快2倍，非常适合在资源受限的环境中使用。
tredence.com 提供全面的数据科学解决方案和AI数据分析服务，帮助企业将创意从实验阶段转化为现实，适用于多个行业，包括零售、消费品、技术、媒体、电信、旅游、金融服务以及医疗与生命科学等。
SEEKER是一个创新的AI聊天平台，采用检索增强生成（RAG）技术，能够安全地从大规模数据集中提取和分析信息，为个人和组织提供可靠的洞察和优化。其承诺的透明性使其在AI内容生成和分析中树立了新的可信标准。
ToRA是一系列集成工具的推理大型语言模型代理，旨在通过与工具交互解决复杂的数学推理问题。
CXCortex是一款通过实时分析客户互动，帮助企业提高业务表现的AI驱动客户体验分析工具。它利用先进的AI算法分析所有客户互动，全面理解客户旅程，帮助企业识别客户痛点，个性化客户互动，测量关键绩效指标，从而通过数据驱动的洞察来优化策略。
用GPT-4o和思维链（CoT）创建类似o1的推理链，帮助AI模型通过可视化的步骤“思考”和解决逻辑问题。
