科研
  1. 首页
  2. 科研

列表

交小智

交小智

交小智是西安交通大学推出的AI应用平台，支持用户零代码创建智能体，适用于教学、科研和校园生活等多种场景。平台集成多种大模型，具备知识库管理、插件扩展、API接口等功能，可定制问答机器人、科研助手、校园服务工具等。用户可发布智能体并与其他系统集成，提升工作效率与服务体验。
AI项目与工具 2025年06月12日
Kimina

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。
AI项目与工具 2025年06月11日
OpenScholar

OpenScholar

OpenScholar是一款由华盛顿大学与艾伦AI研究所联合研发的检索增强型语言模型，专为科学家设计，能够高效检索并综合海量科学文献信息，生成基于文献的事实性回答。该工具具备强大的跨学科适用性，涵盖计算机科学、生物医学等多个领域，同时支持自我反馈迭代优化，显著提升回答质量和引用可靠性。所有相关资源已完全开源，便于全球学者使用与研究。
AI项目与工具 2025年06月12日
AI co

AI co

AI co-scientist 是谷歌开发的多智能体 AI 系统，旨在辅助科研人员进行从选题到实验设计的全流程工作。系统基于 Gemini 2.0 构建，具备生成假设、优化方案、文献整合等功能，通过模拟科学方法提升研究效率。已在药物重定向、靶点发现等领域取得进展，展现加速科学发现的潜力。
AI项目与工具 2025年06月12日
Skywork R1V

Skywork R1V

Skywork R1V是昆仑万维推出的首个工业级多模态思维链推理模型，具备强大的视觉链式推理能力，可处理数学问题、科学现象分析、医学影像诊断等复杂任务。其技术基于文本推理能力的多模态迁移与混合式训练方法，在多项基准测试中表现优异。模型开源，适用于教育、医疗、科研、内容审核等多个领域，推动多模态人工智能的发展。
AI项目与工具 2025年06月12日
靠岸学术

靠岸学术

Scholaread是一款专注于学术研究的多功能工具，集成了PDF阅读、学术翻译、文献管理和笔记功能。其主要特点包括支持多平台同步、一键同步Zotero论文库、重排模式优化阅读体验、逐段对照翻译支持多语言、图片及表格放大查看、引文添加至阅读列表、目录跳转以及高亮笔记标注。适用于学术研究、文献综述、跨语言研究、移动学习及团队协作等多种场景。
AI项目与工具 2025年06月12日
Magentic

Magentic

Magentic-One 是一款由微软开发的通用多智能体系统，通过 Orchestrator 智能体协调 WebSurfer、FileSurfer、Coder 和 ComputerTerminal 等专业智能体，实现复杂任务的跨领域处理。其核心功能包括任务协调与执行、网络信息采集、文件管理、代码编写与执行，以及自适应项目管理。该系统支持模块化设计、模型无关性，并具备强大的自适应特性，广泛应用于企业
AI项目与工具 2025年06月12日
Agent Laboratory

Agent Laboratory

Agent Laboratory是由AMD与约翰·霍普金斯大学合作开发的基于大型语言模型的研究辅助工具，支持从文献综述到报告撰写的全流程科研任务。它具备实验设计、代码生成、结果分析等功能，并通过多代理协作和用户反馈机制提升研究质量。实验表明其可显著降低研究成本，适用于机器学习、生物医学等多个领域。
AI项目与工具 2025年06月12日
EviMed

EviMed

EviMed是一款基于人工智能的医学信息平台，整合全球七大权威医学数据库，提供多维度搜索、智能分析、科研选题、循证决策等功能。其依托深度学习与医学大模型，可快速生成精准医学知识总结，广泛应用于临床、科研、教育及公共卫生等领域，有效提升医学工作者的研究与决策效率。
AI项目与工具 2025年06月11日
LightEval

LightEval

LightEval是一款由Hugging Face开发的轻量级AI评估工具，旨在评估大型语言模型。它支持多设备运行，包括CPU、GPU和TPU，具备多任务处理能力和自定义评估功能。LightEval与Hugging Face的生态系统集成，便于模型管理和共享。适用于企业、科研人员及教育机构。
AI项目与工具 2025年06月12日