微软推出的数学推理项目，旨在展示小型语言模型（SLM）在数学推理方面可以通过自我演化的深度思考（Deep Thinking）过程达到与大型模型相当甚至更好的性能。
Segmentle是一款独特的AI数字游戏，通过重新排列网格中的数字，确保每列的总和与上方显示的目标数字相匹配。利用ChatGPT的AI技术，该游戏提供动态难度调整，适合各种技能水平的玩家，旨在提高数学能力和问题解决能力。
ToRA是一系列集成工具的推理大型语言模型代理，旨在通过与工具交互解决复杂的数学推理问题。
中文Mixtral混合专家大模型，基于Mistral.ai发布的Mixtral模型，经过中文增量训练和指令精调，支持长文本处理与多种应用框架。
Jaqnjil是一个旨在提升内容创作者生产力的AI写作助手，能够生成高质量、SEO优化的内容，适用于营销机构、自由职业者和希望扩大内容生产的企业。
用GPT-4o和思维链（CoT）创建类似o1的推理链，帮助AI模型通过可视化的步骤“思考”和解决逻辑问题。
