产品库

Nara AI | 通过拍照解答数学和物理题

Nara AI是一款通过拍照解答数学和物理题的智能应用。它能快速准确地解答各种难题，提供易于理解的解题步骤和解析。Nara AI已经在印度尼西亚被数百名学生使用，受到广泛好评。价格信息请访问官方网站。

用于强化学习验证的数学问题数据集

RLVR-GSM-MATH-IF-Mixed-Constraints数据集是一个专注于数学问题的数据集，它包含了多种类型的数学问题和相应的解答，用于训练和验证强化学习模型。这个数据集的重要性在于它能够帮助开发更智能的教育辅助工具，提高学生解决数学问题的能力。产品背景信息显示，该数据集由allenai在Hugging Face平台上发布，包含了GSM8k和MATH两个子集，以及带有可验证约束的IF Prompts，适用于MIT License和ODC-BY license。

拍照即识别数学、化学和语言，提供智能解答

SorSor是一款AI助手应用，通过拍照识别数学、化学和语言，提供即时解答。它拥有现代化的AI技术，可以快速解答数学方程和化学公式，并提供学习辅助功能。用户友好的界面设计让学习变得更轻松愉快，节省时间和精力。SorSor的速度和效率无与伦比，准确的结果能够快速呈现，让学习过程更加高效。SorSor还以平易近人的价格让教育技术更加普及，为用户提供出色的产品和性价比。快来使用SorSor，探索无尽的知识世界吧！

智能解决数学问题，提升学习效率

AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。它利用先进的人工智能技术，为学生和教师提供详尽的分步解答，增强了对数学概念的理解和解题能力。该产品背景是数学学习中对高效解题工具的需求，定位于免费提供高质量的教育支持。

扫描作业和解决数学问题，照片求解器，物理化学，雅思托福GRE

Homeworkify是您的终极作业助手，旨在帮助各年龄段的学生轻松完成作业。无论您在数学问题、科学项目还是论文写作方面遇到困难，Homeworkify都能让您的学术之旅更加顺利和愉快。Homeworkify拥有多种功能和用户友好的界面，是学生追求卓越学业的完美伴侣。

成为班上最好的学习工具

FormuTodo 是您在学校的重要盟友，现在有了人工智能。该应用程序有一个明确的目标：为您提供广泛的公式库，涵盖数学、物理和化学等各个学科。FormuTodo 还为您提供了一套强大的工具，旨在简化您的计算并提高您的学习成绩。从基础水平到大学，所有公式都在您的手掌中，无需互联网连接。数学、物理和化学的基本公式和概念一览无余。FormuTodo 的智能工具将为您提供所需的支持，简化繁重的计算，验证您的结果，并获得对您的学习的信心。从新手到有抱负的专业人士，FormuTodo 旨在成为您每一步值得信赖的资源。使用 FormuTodo 发现解决学术挑战的新视角。数学、物理和化学领域的各种功能一应俱全。

一款开源的14B参数量的数学模型，通过强化学习训练，性能卓越。

Light-R1-14B-DS 是由北京奇虎科技有限公司开发的开源数学模型。该模型基于 DeepSeek-R1-Distill-Qwen-14B 进行强化学习训练，在 AIME24 和 AIME25 数学竞赛基准测试中分别达到了 74.0 和 60.2 的高分，超越了许多 32B 参数量的模型。它在轻量级预算下成功实现了对已经长链推理微调模型的强化学习尝试，为开源社区提供了一个强大的数学模型工具。该模型的开源有助于推动自然语言处理在教育领域的应用，特别是数学问题解决方面，为研究人员和开发者提供了宝贵的研究基础和实践工具。

一个基于强化学习优化的大型语言模型，专注于数学问题解决能力的提升。

DeepScaleR-1.5B-Preview 是一个经过强化学习优化的大型语言模型，专注于提升数学问题解决能力。该模型通过分布式强化学习算法，显著提高了在长文本推理场景下的准确率。其主要优点包括高效的训练策略、显著的性能提升以及开源的灵活性。该模型由加州大学伯克利分校的 Sky Computing Lab 和 Berkeley AI Research 团队开发，旨在推动人工智能在教育领域的应用，尤其是在数学教育和竞赛数学领域。模型采用 MIT 开源许可，完全免费供研究人员和开发者使用。

AI 口袋导师

Studdy AI是您的个人 AI 导师，可帮助您解答任何学科的问题。只需拍照您的作业，Studdy 将协助您回答问题。使用先进的 AI 技术和语音、文本、图像识别技术，让您随时随地轻松获取帮助。拍照、提问和学习。

在线AI数学辅导

Maths.ai是最好的基于AI的在线数学辅导工具，可以立即回答您所有的数学疑问。通过AI即时获得个性化的数学帮助。

数学推理LLM

MathCoder是一款基于开源语言模型的数学推理工具，通过fine-tune模型和生成高质量的数据集，实现了自然语言、代码和执行结果的交替，提高了数学推理能力。MathCoder模型在MATH和GSM8K数据集上取得了最新的最高分数，远远超过其他开源替代品。MathCoder模型不仅在GSM8K和MATH上超过了ChatGPT-3.5和PaLM-2，还在竞赛级别的MATH数据集上超过了GPT-4。

连接您与附近最好的物理治疗师

Jointhera是一款连接您与附近物理治疗师的应用。它提供个性化的护理和增强您的健康。通过Jointhera，您可以轻松找到最适合您需求的物理治疗师，享受定制化的护理服务。Jointhera还提供丰富的功能，使您能够预约治疗，查看治疗师的评价和资质，以及管理您的治疗记录。Jointhera旨在为您提供方便、个性化的物理治疗护理体验。

在线数学助手

Numberly是一个在线数学助手插件，可以实时解决数学方程和度量单位转换。它可以在任何输入框中自动计算并显示结果，无需离开浏览器。Numberly还可以帮助专业人士和学生减少错误，提高计算准确性。它还提供内联解决方案，方便用户在电子邮件、社交媒体、文档和电子表格中进行数学计算。

AI助手，帮助物理治疗师完成报告

Everbility是一款AI助手，专为物理治疗师设计，可帮助他们快速完成报告、总结客户笔记、产生新想法，并更专注于客户。产品定价灵活，提供14天免费试用，定位于提高工作效率、节省时间的助手工具。

让数学变得简单

Amy 是一个致力于帮助人们轻松学习数学的在线平台。它提供了各种数学学习资源，包括教程、练习题和解答等。Amy 通过简化数学概念和提供实用的学习工具，让数学变得容易理解和应用。

你的数学助手

Photo2math是一款数学助手APP，可以帮助用户解决数学问题。它提供了多种功能，包括解决数学题目、上传图片解题、手写公式解题等。Albert Bro可以帮助学生和教师更轻松地学习和教授数学知识。

数学 7b 模型，帮助解决数学问题。

Internlm2 Math 7b 是一个基于 Hugging Face 平台的数学模型，主要用于解决数学问题。它能够处理各种数学题目，包括代数、几何、概率统计等。使用该模型可以提供准确的数学计算和解答，帮助用户学习和理解数学知识。Internlm2 Math 7b 提供简单易用的 API 接口，可以方便地集成到其他应用程序中。该模型基于深度学习技术，具有较高的准确性和可靠性。它适用于教育领域的数学辅助学习、作业辅导等场景。

连接实时物理数据，推动物理AI时代

Archetype AI发布了一个创新的人工智能平台Newton™，专为理解物理世界设计。Newton™结合实时传感器数据和自然语言处理技术，帮助用户提出开放式问题并做出智能决策。Newton™连接全球数十亿传感器的实时物理数据，利用多种传感器数据和自然语言解锁物理世界见解。已应用于建筑安全、车辆状况感知、家庭安全、物流优化等多个行业。支持定制优化，数据私密性，边缘部署能力。

构建数学基础模型的数学中心语料库

MathPile是一个包含约95亿个标记的数学中心语料库，从教科书（包括讲座笔记）、arXiv、维基百科、ProofWiki、StackExchange和网页中汲取数学内容，适用于K-12、大学、研究生水平和数学竞赛。MathPile的数据质量高，并且有着丰富的数据文档，以增强透明度和给用户灵活的使用数据的能力。在授权方面，MathPile遵循BY-NC-SA 4.0许可协议，同时计划很快发布一个商业可用版本。

基于物理的角色动画研究项目

ProtoMotions是一个致力于创建交互式物理模拟虚拟代理的项目。它支持IsaacGym和IsaacSim，并且基于Hydra和OmegaConfig构建，使得配置组合变得简单。这个项目为研究者和开发者提供了一个平台，用于开发和测试基于物理的角色动画技术。它不仅能够用于学术研究，还能在游戏、电影和虚拟现实等领域中应用。

AI Teachakey: 用人工智能更聪明地工作

AI Teachakey是一款利用人工智能技术提供教育解决方案的产品。它包括课程计划生成器、评估生成器、课程生成器、讲义生成器等功能，帮助教育者提高工作效率，优化教学流程，提升学生学习成果。AI Teachakey还提供数学、物理和化学求解器，帮助解决复杂的数学问题和挑战性的物理、化学概念。AI Teachakey在教育领域的定位是革命性创新的技术，旨在提供智能化的教育解决方案。

SnapXam是一个数学虚拟助手，可帮助您更快、更轻松地学习数学。具有步骤的数学求解器。

SnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。它节省了理解数学概念和查找解释视频的时间。用户可以以更好的方式解决问题，并节省大量时间。

数学领域的开源AI模型，助力数学竞赛。

Numina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。该模型在AI数学奥林匹克竞赛中获得了第一名，显示出其在解决复杂数学问题上的强大能力。Numina是一个非盈利组织，致力于推动数学领域人类和人工智能的发展。

PRIME通过隐式奖励增强在线强化学习，提升语言模型的推理能力。

PRIME是一个开源的在线强化学习解决方案，通过隐式过程奖励来增强语言模型的推理能力。该技术的主要优点在于能够在不依赖显式过程标签的情况下，有效地提供密集的奖励信号，从而加速模型的训练和推理能力的提升。PRIME在数学竞赛基准测试中表现出色，超越了现有的大型语言模型。其背景信息包括由多个研究者共同开发，并在GitHub上发布了相关代码和数据集。PRIME的定位是为需要复杂推理任务的用户提供强大的模型支持。

数学AI求解器

AI Math是一款在线免费的数学AI求解器，能够帮助您解决各种数学问题。它支持解决算术、代数、几何、三角、微积分、组合、统计概率等各类数学问题。通过AI Math，您可以获得准确的解答，并且详细的步骤说明能够帮助您更好地理解和掌握数学知识。AI Math具有99%的准确率，支持30种语言，随时随地提供24/7的在线服务。

物理模拟角色的指令驱动控制系统

InsActor是一个基于物理模拟的角色控制系统。它可以通过自然语言指令驱动角色在复杂环境中完成各种交互任务。该系统利用条件与对抗扩散模型进行多级规划,并与低级控制器相结合,实现稳定、鲁棒的控制。具有控制流畅、交互自然的优势,适用于创意内容生成、互动娱乐、人机交互等应用场景。

通用型物理引擎，用于机器人学和物理AI应用

Genesis是一个全面物理仿真平台，专为机器人学、具身AI和物理AI应用设计。它是一个从头构建的通用物理引擎，能够模拟广泛的材料和物理现象。作为一个轻量级、超快速、Pythonic且用户友好的机器人仿真平台，它还具备强大的真实感渲染系统和将自然语言描述转换为各种数据模态的生成数据引擎。Genesis通过其核心物理引擎的集成，进一步增强了上层的生成代理框架，旨在为机器人学及其它领域实现全自动数据生成。

数学AI解决方案

AI Math是一个在线免费的数学AI解决方案，帮助您克服数学困难，提供99%准确的解决方案。它可以处理算术、代数、几何、三角、微积分、组合、统计概率等各种数学问题。AI Math不仅提供答案，还通过逐步解释帮助您理解解决过程。您可以随时随地访问AI Math，它是教育者和学生的强大支持系统。

物理集成的 3D 高斯生成动力学

PhysGaussian 是一种创新的统一仿真渲染管线，能够同时和无缝地生成基于物理的动力学和逼真的渲染。该产品利用自定义的物质点法（MPM）将 3D 高斯核与物理上有意义的运动变形和力学应力属性相结合，通过连续力学原理进行演化。产品具有物理仿真和视觉渲染的无缝集成，两个组件都使用相同的 3D 高斯核作为其离散表示，无需三角形 / 四面体网格、Marching Cubes 或任何其他几何嵌入，突出了 “所见即所模拟” 的原则。

Kimi k1.5 是一个通过强化学习扩展的多模态语言模型，专注于提升推理和逻辑能力。

Kimi k1.5 是由 MoonshotAI 开发的多模态语言模型，通过强化学习和长上下文扩展技术，显著提升了模型在复杂推理任务中的表现。该模型在多个基准测试中达到了行业领先水平，例如在 AIME 和 MATH-500 等数学推理任务中超越了 GPT-4o 和 Claude Sonnet 3.5。其主要优点包括高效的训练框架、强大的多模态推理能力以及对长上下文的支持。Kimi k1.5 主要面向需要复杂推理和逻辑分析的应用场景，如编程辅助、数学解题和代码生成等。