算法

1. 首页
2. 算法

Kimina

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

AI项目与工具 2025年06月11日 33 点赞 0 评论 491 浏览

Interview Coder

Interview Coder 是一款面向技术面试的 AI 工具，支持多平台和多种编程语言，能通过截图自动解析题目并生成代码解决方案，提供详细注释与优化建议，适用于在线编程面试及远程视频面试场景，提高面试效率和准确性。

AI项目与工具 2025年06月11日 53 点赞 0 评论 141 浏览

FlexiAct

FlexiAct是由清华大学与腾讯ARC实验室联合研发的动作迁移模型，可在空间结构差异较大的场景下实现精准动作迁移，并保持目标主体的外观一致性。其核心模块包括轻量级RefAdapter和频率感知动作提取（FAE），有效提升跨主体动作迁移的灵活性与准确性。该模型适用于影视、游戏、广告等多个领域，具有良好的应用前景。

AI项目与工具 2025年06月11日 39 点赞 0 评论 451 浏览

OptoChat AI

OptoChat AI是国内首款面向光子领域的AI大模型，整合超30万条光子芯片相关数据资源，具备强大的数据分析与智能算法能力。可实现光子芯片设计优化、工艺验证、文献检索等功能，显著提升研发效率，缩短设计周期。适用于科研、制造、教育及市场分析等多个场景，推动光子产业智能化发展。

AI项目与工具 2025年06月11日 33 点赞 0 评论 499 浏览

DanceGRPO

DanceGRPO 是由字节跳动与香港大学联合开发的视觉生成强化学习框架，支持文本到图像、文本到视频、图像到视频等多种任务，兼容多种生成模型与奖励机制。其通过强化学习优化生成过程，提升视觉内容质量与一致性，降低显存压力，提高训练效率与稳定性，适用于视频生成和多模态内容创作。

AI项目与工具 2025年06月11日 45 点赞 0 评论 436 浏览

AlphaEvolve

AlphaEvolve是谷歌DeepMind开发的通用科学代理，结合大型语言模型与进化算法，用于设计和优化复杂算法。它在数据中心调度、硬件设计、AI训练和数学问题解决等领域取得显著成果，如优化矩阵乘法、提升系统效率等。系统采用自动化评估机制，支持跨领域应用，具备高效计算和持续优化能力。

AI项目与工具 2025年06月11日 98 点赞 0 评论 233 浏览

EvoAgentX

EvoAgentX 是一个开源的 AI Agent 自进化框架，通过进化算法实现多 Agent 系统的自动化生成与优化。它能根据目标描述自动生成工作流，并通过迭代优化提升性能。框架采用模块化设计，包含工作流生成器、Agent 管理器、执行器、评估器和优化器等核心组件，支持多种 LLM 模型，用户可通过自然语言提示轻松定制 Agent 和工作流。同时提供可视化工具和多环境支持，适用于复杂系统模拟、自

AI项目与工具 2025年06月11日 94 点赞 0 评论 164 浏览

Chance AI

Chance AI 是一款AI视觉搜索引擎，基于视觉智能帮助用户自然理解世界。用户通过摄像头识别对象，如艺术品、产品设计、建筑等，快速获取背后的故事和文化背景，无需输入提示词。其主要功能包括点拍即用、视觉推理、即时洞察、一键分享和无算法的信息发现，适用于旅行者、创意人士、学生等群体。

AI项目与工具 2025年06月11日 29 点赞 0 评论 263 浏览

DishGen

DishGen是AI食谱生成器，根据用户输入的食材、食谱想法或饮食偏好，快速生成个性化的食谱和餐饮计划。它基于智能算法，将剩余食材转化为美味菜肴，减少食物浪费并节省金钱。用户可随时修改食谱，保存和分享自己的创作。DishGen提供移动应用，方便随时随地使用，简化烹饪过程，提供个性化体验和健康饮食建议，推动烹饪和餐食规划的未来。

AI项目与工具 2025年06月11日 57 点赞 0 评论 373 浏览

AI Face Analyzer

只需上传您的脸部照片，AI Face Analyzer就会告诉您客观的面部美容评分。

生活创意 2025年06月05日 15 点赞 0 评论 117 浏览