AI-magic AI-magic

算术问题解决

O1 Nano开源项目 – 简化版OpenAI O1模型，专注算术问题
O1 Nano开源项目 – 简化版OpenAI O1模型，专注算术问题

一个开源项目，旨在实现 OpenAI O1 模型系列的简化版本，专注于通过链式思维和强化学习解决算术问题。该项目结合了最新的技术，使得用户能够更加高效地解决算术问题，并且通过强化学习不断提升模型的表现。
NuminaMath官网 – 数学竞赛问题解决方案的集合
NuminaMath官网 – 数学竞赛问题解决方案的集合

这是最大的约 100 万个数学竞赛问题解决方案对的集合，难度从初级挑战赛到数学奥林匹克预选赛不等。
Octogen an Open-Source Code Interpreter官网 – 开源代码解释器
Octogen an Open-Source Code Interpreter官网 – 开源代码解释器

Octogen是一个开源代码解释器，基于GPT3.5/4和Codellama，能够解决代码问题，处理图像和视频，并支持本地部署。
Math-Verify开源项目 – 评估数学表达式的强大系统
Math-Verify开源项目 – 评估数学表达式的强大系统

Math-Verify是一个强大的数学表达式评估系统，专为评估大型语言模型在数学任务中的输出而设计。它能更准确地评估模型的表现，避免因格式或解析问题导致的误判。
Test-time Compute Scaling官网 – 动态计算策略提升模型性能
Test-time Compute Scaling官网 – 动态计算策略提升模型性能

Hugging Face 实现并开源的推理阶段计算扩展研究，通过动态计算策略提升小型语言模型的性能。
Claude官网
Claude官网

"Claude 3"是为工作相关任务特别设计的下一代人工智能工具，强调其在操作中的安全性和准确性。这个先进的AI系统通过claude.ai访问，提供了一个多功能平台，用户可以利用各种功能，包括图像分析和处理长文档。
ToRA开源项目 – 集成工具的推理智能体
ToRA开源项目 – 集成工具的推理智能体

ToRA是一系列集成工具的推理大型语言模型代理，旨在通过与工具交互解决复杂的数学推理问题。
AlphaGeometry官网 – 超越人类的几何问题解决方案
AlphaGeometry官网 – 超越人类的几何问题解决方案

结合吴方法的DeepMind数学模型，能够解决国际数学奥林匹克竞赛中的几何题，表现超越人类金牌得主。
Monica图标

通过字节跳动免费使用满血可联网DeepSeek R1

现在注册，立即送145元代金券

字节跳动提供 DeepSeek R1、OpenAI o1、GPT-4o、Claude 3.5 和 Gemini 1.5等领先大模型

马上试试
AI-magic收录了大量国内外AI工具箱，包括AI写作、图像、视频、音频、编程等各类AI工具，以及常用的AI学习、技术、和模型等信息，让你轻松加入人工智能浪潮。
Copyright © 2025 AI-magic 浙ICP备19008543号-3