产品库

AI数学极限测试基准

FrontierMath是一个数学基准测试平台，旨在测试人工智能在解决复杂数学问题上的能力极限。它由超过60位数学家共同创建，覆盖了从代数几何到Zermelo-Fraenkel集合论的现代数学全谱。FrontierMath的每个问题都要求专家数学家投入数小时的工作，即使是最先进的AI系统，如GPT-4和Gemini，也仅能解决不到2%的问题。这个平台提供了一个真正的评估环境，所有问题都是新的且未发表的，消除了现有基准测试中普遍存在的数据污染问题。

SWE-Lancer 是一个包含 1400 多个自由软件工程任务的基准测试，总价值 100 万美元。

SWE-Lancer 是由 OpenAI 推出的一个基准测试，旨在评估前沿语言模型在真实世界中的自由软件工程任务中的表现。该基准测试涵盖了从 50 美元的漏洞修复到 32000 美元的功能实现等多种独立工程任务，以及模型在技术实现方案之间的选择等管理任务。通过模型将性能映射到货币价值，SWE-Lancer 为研究 AI 模型开发的经济影响提供了新的视角，并推动了相关研究的发展。

用于衡量设备 AI 加速器推理性能的基准测试工具。

Procyon AI Image Generation Benchmark 是一款由 UL Solutions 开发的基准测试工具，旨在为专业用户提供一个一致、准确且易于理解的工作负载，用以测量设备上 AI 加速器的推理性能。该基准测试与多个关键行业成员合作开发，确保在所有支持的硬件上产生公平且可比较的结果。它包括三个测试，可测量从低功耗 NPU 到高端独立显卡的性能。用户可以通过 Procyon 应用程序或命令行进行配置和运行，支持 NVIDIA® TensorRT™、Intel® OpenVINO™ 和 ONNX with DirectML 等多种推理引擎。产品主要面向工程团队，适用于评估推理引擎实现和专用硬件的通用 AI 性能。价格方面，提供免费试用，正式版为年度场地许可，需付费获取报价。

强大的AI数学解题器，提供准确答案和逐步解决方案。

OKMath AI Math Solver 是一款先进的AI数学解题工具，旨在为学生提供准确的数学问题解决方案。该产品利用强大的AI技术，结合超过1000万道数学练习题的庞大数据库，通过自训练的AI模型和多重交叉验证算法，确保每个问题的解答都是准确无误的。其主要优点包括高准确率、详细的逐步解答、以及广泛的数学问题覆盖范围。OKMath不仅适用于学生的学习和作业辅导，也适用于教师的教学辅助和家长的辅导。该产品的定位是为所有水平的学习者提供一个全面的数学学习工具，帮助他们更好地理解和掌握数学知识。

AI数学家教，实时计算和渲染LaTeX格式数学问题

Math Tutor on Groq是一个由Groq驱动的AI数学家教项目，它利用8090的xRx框架、Whisper和Llama 3.3 70b模型以及Elevenlabs的TTS技术，以实时对话的方式回应学生的数学问题。Groq的高速度使得复杂问题的响应几乎瞬间完成，提供了流畅的学习体验。该项目还可以通过内部数学引擎解决代数和微积分问题，然后将解决方案作为上下文提供给AI，以提高回应的准确性。

用于评估大型语言模型事实性的最新基准

FACTS Grounding是Google DeepMind推出的一个全面基准测试，旨在评估大型语言模型（LLMs）生成的回应是否不仅在给定输入方面事实准确，而且足够详细，能够为用户提供满意的答案。这一基准测试对于提高LLMs在现实世界中应用的信任度和准确性至关重要，有助于推动整个行业在事实性和基础性方面的进步。

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

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

QwQ是一款专注于深度推理能力的AI研究模型。

QwQ（Qwen with Questions）是一款由Qwen团队开发的实验性研究模型，旨在提升人工智能的推理能力。它以一种哲学精神，对每个问题都抱有真正的好奇和怀疑，通过自我提问和反思来寻求更深层次的真理。QwQ在数学和编程领域表现出色，尤其是在处理复杂问题时。尽管它仍在学习和成长，但它已经展现出了在技术领域深度推理的重要潜力。

多智能体任务规划与推理的基准测试

PARTNR是由Meta FAIR发布的一个大规模基准测试，包含100,000个自然语言任务，旨在研究多智能体推理和规划。PARTNR利用大型语言模型（LLMs）生成任务，并通过模拟循环来减少错误。它还支持与真实人类伙伴的AI代理评估，通过人类在环基础设施进行。PARTNR揭示了现有基于LLM的规划器在任务协调、跟踪和从错误中恢复方面的显著局限性，人类能解决93%的任务，而LLMs仅能解决30%。

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

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

AI数学奥林匹克解决方案

这个GitHub仓库包含了训练和推理代码，用于复制我们在AI数学奥林匹克（AIMO）进展奖1中的获胜解决方案。我们的解决方案由四个主要部分组成：一个用于微调DeepSeekMath-Base 7B以使用工具集成推理（TIR）解决数学问题的配方；两个约100万个数学问题和解决方案的高质量训练数据集；一个自洽解码算法，用于生成具有代码执行反馈的解决方案候选项（SC-TIR）；四个来自AMC、AIME和MATH的精心选择的验证集，以指导模型选择并避免对公共排行榜的过拟合。

数学竞赛问题的解决方案集合

NuminaMath是一套为训练最先进数学语言模型（SOTA math LLMs）而设计的数据库和模型。它包含860k+数学竞赛问题及其解决方案对，每个解决方案都使用了链式思维（Chain of Thought, CoT）推理进行模板化。此外，还有70k+数学竞赛问题，其解决方案由GPT-4通过工具集成推理（Tool-Integrated Reasoning, TIR）生成。NuminaMath通过提供高质量的数学问题和解决方案，为教育工作者和学生提供了一个宝贵的资源，帮助他们提高数学思维和解决问题的能力。

AI驱动的数学问题解决器

AI Math GPT Solver是一个由GPT-4o提供动力的在线数学问题解决平台，它覆盖了代数、微积分和几何等数学领域，集成了微软数学求解器等领先技术，提供快速、准确的解决方案。该平台通过网页和移动应用程序提供免费、用户友好的服务，允许用户随时随地解决问题。

AlphaGeometry: AI解决几何问题的突破

AlphaGeometry是一个超越了现有技术水平的几何问题AI系统，它通过结合神经语言模型的预测能力和规则驱动的推理引擎，能够解决复杂的几何问题。该系统采用神经符号学方法，由神经语言模型和符号推理引擎组成，共同寻找复杂几何定理的证明。通过生成10亿个随机几何对象图形，并从中推导出所有的关系，最终得到了1亿个独特的训练样本，其中900万个包含了额外的构造。AlphaGeometry的语言模型能够在面对国际数学奥林匹克竞赛的几何问题时做出良好的建议。该系统已经成为世界上第一个能够达到国际数学奥林匹克竞赛铜牌水平的AI模型。

在线AI数学辅导

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

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

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

一款 AI 大模型驱动的开源知识库搭建系统。

PandaWiki 是一款基于 AI 大模型的开源知识库搭建系统，旨在帮助用户快速构建智能化的产品文档和技术文档。它的主要优势在于能够通过 AI 技术提供智能创作、问答和搜索能力，极大提升了文档管理和用户体验。适合希望利用 AI 提升工作效率的团队和企业。

专业AI视频生成平台

Seedance Pro是一款专业AI视频生成平台，利用先进的AI技术创建高质量视频内容。其主要优点包括平滑稳定的动作生成、多镜头故事叙事、多样化的风格表达、准确的提示跟踪等。定位于创意视频制作领域。

VisionFX是一款AI创意工作室，利用先进的人工智能技术即时生成图片、视频、音乐、语音等。

VisionFX是一款AI创意工作室，采用先进的人工智能技术，为用户提供即时生成图片、视频、音乐、语音等功能。其主要优点在于提高创作效率、降低制作成本，并提供生产级工具。VisionFX定位于为内容创作者、设计师、营销人员以及AI爱好者提供创意生产工具。

使用MarketingGuide AI在几分钟内创建您的整个营销策略，无需专业营销知识。

MarketingGuide AI是一个AI驱动的营销计划生成器，可帮助用户快速创建全面的营销策略和15个以上的关键文档。该产品提供了从制定营销策略到执行计划所需的一切，无需专业的营销专业知识。

将 Claude Code 与 Google 的 Gemini AI 连接，实现强大的 AI 协作。

Claude Code + Gemini MCP 是一个连接 Claude Code 与 Google 的 Gemini AI 的插件，使用户能够通过 Claude Code 进行强大的 AI 协作。用户可以向 Gemini 提问、获取代码审查及进行头脑风暴，提升编程效率与质量。该插件要求用户安装 Python 和 Claude Code CLI，并提供了简单的安装和使用步骤。它是针对开发者与程序员的工具，促进了代码质量的提高和想法的创新。

帮助创建定制简历和求职信，填写申请表格，自动整理求职信息。

Huntr是一个帮助用户快速创建定制简历和求职信的工具，利用AI技术填写申请表格，自动整理和管理求职信息。它提供AI简历生成器、简历检查器、求职追踪器等功能，让求职过程更高效、更有组织性。

提升专注力的AI音景与音乐

Melodiez是一款提供AI音景与音乐的产品，旨在帮助用户增强专注力、放松身心，提高生产力。其音乐经过AI动力和人工策划，适用于各种场景和心情。

AI 网络爬虫，无需编码，即时数据提取。

BrowserAct是一款AI网页爬虫工具，能够即时从任何网站提取数据，无需编码，具有强大的数据提取能力。其主要优点在于自动隐藏广告和非必要元素，支持实时和持久数据访问，同时具有全球住宅IP网络等功能。

构建和探索可扩展内容工作流，Moonlit为您的团队提供最新的AI工具，将您的SEO战略提升到新的高度。

Moonlit Platform是一款AI驱动的SEO内容工具构建平台，提供可定制的AI工具，助力团队优化SEO策略，实现高效内容生成。Moonlit旨在为非技术团队和领域专家提供AI技术，广泛适用于内容、SEO营销团队和数字机构。

Veo 3 AI API by Kie.ai是一款可生成高质量视频的先进工具，适用于电影制作人、营销人员和内容创作者。

Veo 3 AI API是一款革命性的视频生成工具，利用AI生成音频和视觉，为用户提供高质量的视频制作体验。其主要优点包括集成音频生成、高质量视频输出、高级场景理解等功能。Veo 3 AI API的背景信息包括Kie.ai作为AI技术公司在视频生成领域的领先地位。

PageAI是一款由人工智能驱动的网站生成器，可从简单提示中为您的网站规划、设计和编写干净的代码。

PageAI是一款迷你创意工作室，通过人工智能代理为您的网站规划、设计和编写干净的代码。它能在几分钟内从简单提示中为您的网站设计和生成生产级代码。

AdpexAI是一体化AI工具，可生成并编辑高分辨率图像和视频。

AdpexAI是一体化AI工具，通过文本、图片或视频输入生成并编辑高分辨率、专业级图像与视频。无需设计技能，使用方便快捷。AdpexAI致力于推动AI技术在设计领域的应用，为用户提供高质量的图像和视频编辑服务。

FLUX Kontext提供先进的AI图像编辑工具，包括风格转移、文本驱动修改和上下文感知转换。

FLUX Kontext是由Black Forest Labs开发的具有先进AI图像编辑功能的工具，包括风格转移、文本驱动修改和上下文感知转换。其专业级编辑功能具有无与伦比的精准度和多功能性。

AI 驱动的智能搜索工具，助您深入研究。

Firesearch 是一款利用先进的人工智能技术，帮助用户进行深度研究的搜索工具。它结合了 Firecrawl 和 LangGraph 的强大能力，可以提供更为精准和高效的搜索体验，特别适合需要大量信息和数据分析的用户。该工具以其高效的智能搜索引擎、简洁的界面和强大的数据处理能力，帮助用户更快地找到所需的信息。