AI-magic AI-magic

定理证明

LeanDojo-定理证明的检索增强语言模型
LeanDojo-定理证明的检索增强语言模型

LeanDojo 是一个基于检索增强的语言模型用于定理证明的项目，具备全自动化的数学推理能力，并可与现有的数学工具和资源集成。
Awesome_Math_Books开源项目 – 汇集数学书籍资源的宝库
Awesome_Math_Books开源项目 – 汇集数学书籍资源的宝库

一个汇集了各种数学书籍资源的宝库，无论你是数学专业的学生还是对数学感兴趣的爱好者，都能在这里找到丰富的学习材料和参考书籍。该项目整理了大量经典数学书籍，并提供下载链接或在线阅读，同时也满足高中学生的学习需求，并涉及一些物理学基础知识。
rStar-Math-深度思考的数学求解系统
rStar-Math-深度思考的数学求解系统

rStar-Math 系统采用了蒙特卡洛树搜索（MCTS）的方法，结合了基于 SLM 的数学策略模型和过程奖励模型（PPM），旨在提升数学问题的求解能力和深度思考能力。
Albert Bro官网 – 你的AI数学辅导员
Albert Bro官网 – 你的AI数学辅导员

Albert Bro是一个智能数学辅导工具，用户可以拍摄数学问题，获取逐步解决方案，并清晰地理解数学概念，旨在帮助用户轻松克服数学难题。该项目可在网页和iOS平台上使用。
Abel开源项目 – 专注于数学领域的生成式AI模型
Abel开源项目 – 专注于数学领域的生成式AI模型

Abel是一个专注于数学领域的生成式AI模型，旨在在代数和分析领域取得突破性成就，通过最新的SOTA技术为用户提供高效的数学问题解决方案。
2000 Large Language Models (LLM)Prompts官网 – 深入了解大语言模型的资源
2000 Large Language Models (LLM)Prompts官网 – 深入了解大语言模型的资源

这是一个包含2000个大语言模型提示的终极集合，旨在帮助任何对大语言模型感兴趣的人。它提供了各种提示，以便在不同背景下进行实验和理解其应用。
ChatMusician-文本创作音乐的创新项目
ChatMusician-文本创作音乐的创新项目

来自香港科技大学的音乐创作项目，能够只通过文本的方式理解和创作音乐，无需依赖于任何专门的多模式处理或复杂的编码系统。
Numina-Math-7B-TIR官网 – 开源数学模型，获国际竞赛第一名
Numina-Math-7B-TIR官网 – 开源数学模型，获国际竞赛第一名

该模型在全球首届 AI 数学奥林匹克竞赛（AIMO）获得了第一名，开源，可以在本地电脑上直接跑。它是基于 deepseek-math-7b-base 的微调版本，经过两阶段微调以达到排行榜获胜解决方案，并使用思路链 CoT 提示进行模板化，同时采用 MSFT 的 ToRA 格式进行 GPT4 输出并执行代码，具备与 Transformers 集成的能力。
Boolv官网 – 简化布尔逻辑的在线工具
Boolv官网 – 简化布尔逻辑的在线工具

Boolv是一个专注于简化和增强布尔逻辑操作的网站，帮助开发者和数字创作者简化复杂的逻辑表达式，是软件开发和数字项目管理中不可或缺的实用工具。
Quantum Copilot官网 – 简化量子编程的AI助手
Quantum Copilot官网 – 简化量子编程的AI助手

Quantum Copilot是一个AI辅助的量子计算平台，旨在简化量子编程的复杂性，并显著减少开发时间。
GPT-4-多模态生成的人工智能系统
GPT-4-多模态生成的人工智能系统

GPT-4 是一种多模态生成的人工智能系统，具备写代码、数学能力以及与世界和人类交互的能力。
How morphological development can guide evolution – “Framework for testing hypotheses in developmental evolution”-探讨形态发育对进化过程的影响
How morphological development can guide evolution – “Framework for testing hypotheses in developmental evolution”-探讨形态发育对进化过程的影响

该项目旨在研究形态发育如何影响进化过程，结合发育生物学与进化理论，利用计算模型模拟进化场景，深入理解形态在进化中的角色。
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