关键词 "数学" 的搜索结果, 共 9 条, 只显示前 480 条
Tutor AI 是一个专为终身学习者设计的AI辅导平台。基于创建个性化学习路径,帮助用户在学业、工作和生活中取得更多成就。Tutor AI 基于先进的AI技术,根据用户的学习风格和知识水平,提供定制化的教学内容和练习。Tutor AI 覆盖广泛的学科领域,包括数学、编程、语言学习等热门主题。Tutor AI 的智能算法能实时分析学习者的表现,动态调整教学策略,确保学习过程既高效又有趣。Tutor
GPT-5 是 OpenAI 最新推出的人工智能模型,是目前最强模型,面向所有用户开放。GPT-5是一个统一系统,包括一个基础模型用在解答常见问题,一个深度推理模型(GPT-5 思维模块)用在处理复杂难题,一个实时路由模块根据对话类型、问题复杂度、工具需求和用户指令(如“仔细思考”)智能调度模型。GPT-5 在编程、写作、数学、健康等多个领域表现出色,大幅减少幻觉和错误,回答更贴近真实情况。GPT
Klear-Reasoner 是快手推出的基于 Qwen3-8B-Base 的推理模型,专注于提升数学和代码推理能力。模型通过长思维链监督微调(long CoT SFT)和强化学习(RL)训练,核心创新是 GPPO算法,通过保留被裁剪的梯度信息,解决传统方法中探索能力受限和负样本收敛慢的问题,在 AIME 和 LiveCodeBench 等基准测试中达到 8B 模型的顶尖水平。Klear-Reas
CWM(Code World Model)是 Meta 开源的一个拥有 320 亿参数的代码语言模型。它率先将“世界模型”的概念引入代码生成领域,让模型能够通过模拟代码执行过程,更深层次地理解和生成代码,而不仅仅是基于模式匹配。CWM 在多项基准测试中表现出色,例如在 Math-500 数据集上取得了 96.6% 的准确率。该模型的权重已公开,旨在推动代码生成和理解领域的研究,并帮助开发者更高效地
Qianfan-VL 是百度智能云千帆专为企业级多模态应用场景打造的视觉理解大模型。它提供 3B、8B 和 70B 三种尺寸,不仅具备出色的通用能力,还针对 OCR、教育等垂直领域进行了专项强化。该模型基于开源模型,并在百度自研的昆仑芯 P800 上完成了全流程计算任务,展现出卓越的性能和效率。核心功能多尺寸模型:提供从轻量级到大规模的三种版本,满足不同企业和开发者的需求,适用于各种场景,从端上实
Struggling with math? GoMim is an advanced AI math solver powered by cutting-edge math AI technology, solving problems in seconds—algebra, calculus, statistics, and beyond. Simply upload a photo or ty
Mathpix 是先进的光学字符识别(OCR)工具,专注于将手写或打印的数学公式、化学方程式和表格从图像和PDF文件中提取、转换为可编辑的格式,如LaTeX和Markdown。工具为学生、教师、研究人员和开发者提供强大的API和生产力应用,支持多种语言和深度STEM功能。Mathpix提供企业级的安全转换服务,及专为科研人员设计的协作编辑环境,极大地促进科学交流和文档数字化。Mathpix的官网地
nanochat是AI领域专家Andrej Karpathy发布的开源项目,以极低成本和高效流程训练小型语言模型,实现类似ChatGPT的对话功能。仅需约100美元(使用8张H100 GPU训练4小时),即可训练出能进行基础对话、创作故事/诗歌、回答简单问题的小型模型。若增加预算至1000美元(训练约41.6小时),模型性能可显著提升,能解决简单数学/代码问题并参与多项选择题测试。项目包含从数据准
只显示前20页数据,更多请搜索
Showing 25 to 33 of 33 results