OlympicArena OlympicArena是由多所高校与研究机构联合开发的多学科认知推理基准测试框架,包含11,163道国际奥赛双语题目,覆盖数学、物理、化学、生物、地理、天文学和计算机科学等7大领域。该平台通过答案级与过程级评估,全面衡量AI模型的逻辑与视觉推理能力,支持多模态输入并具备数据泄漏检测机制,适用于AI模型评估、训练优化、教育辅助及科研应用。 AI项目与工具 2025年06月12日 58 点赞 0 评论 329 浏览
ReasonGraph ReasonGraph 是一个开源平台,用于可视化和分析大语言模型(LLM)的推理过程。它支持多种主流模型和推理方法,提供直观的图表展示和交互式功能,帮助用户理解 AI 思考逻辑、优化模型表现。模块化设计使其易于扩展,适用于学术研究、教育、开发等多个领域。 AI项目与工具 2025年06月12日 73 点赞 0 评论 477 浏览
算了么 算了么是一款基于GPU资源共享的平台,用户可通过闲置算力参与科学计算并获取收益。平台具备智能调度、灵活控制、收益追踪等功能,适用于科研、游戏、气候模拟等多个领域。用户可随时开启或关闭任务,确保不影响日常使用,同时为科技进步贡献力量。 AI项目与工具 2025年06月12日 32 点赞 0 评论 297 浏览
Crack Coder Crack Coder 是一款开源的 AI 编程辅助工具,专为技术面试设计。它能够在后台运行,不被检测到,并提供实时代码建议,支持多种编程语言。该工具具备精准的上下文分析能力,适用于面试准备、编程学习及算法练习等场景,同时支持本地部署以保障隐私和性能。 AI项目与工具 2025年06月12日 22 点赞 0 评论 204 浏览
PlanGEN PlanGEN 是谷歌研发的多智能体协作框架,用于解决复杂问题的规划与推理。它包含约束、验证和选择三大智能体,支持多智能体协作、约束引导、算法自适应选择等功能。提供四种实现方式,适用于不同复杂度任务,如日程安排、数学证明、自动驾驶等。具有模型不可知性,可与多种大语言模型结合,具备良好的可扩展性和灵活性。 AI项目与工具 2025年06月12日 35 点赞 0 评论 193 浏览
Fractal Generative Models Fractal Generative Models 是一种基于分形架构的图像生成技术,通过递归调用“原子模块”实现逐像素生成高分辨率图像。该模型结合 Transformer 模块,采用分而治之策略,大幅提升计算效率。不仅适用于图像生成,还可扩展至分子结构、蛋白质等高维数据建模,具有广泛的应用潜力。 AI项目与工具 2025年06月12日 69 点赞 0 评论 329 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 240 浏览
FlashMLA FlashMLA 是 DeepSeek 开发的开源 MLA 解码内核,针对 NVIDIA Hopper 架构 GPU 优化,提升可变长度序列处理效率。支持 BF16 精度、页式 KV 缓存及分块调度,内存带宽达 3000 GB/s,算力达 580 TFLOPS。适用于大语言模型推理和 NLP 任务,具备高性能与低延迟特性,支持快速部署与性能验证。 AI项目与工具 2025年06月12日 12 点赞 0 评论 340 浏览
FlexTok FlexTok 是由EPFL与苹果联合开发的图像处理技术,通过将图像转为离散标记序列实现高效压缩与生成。支持8K视频实时渲染,压缩率提升300%,功耗降低45%。具备无损超分辨率重建和灵活图像生成能力,适用于智能家居、安防监控及移动设备等场景。 AI项目与工具 2025年06月12日 70 点赞 0 评论 120 浏览
2PR 2PR是一款基于AI技术的LinkedIn内容创作工具,能够快速生成高质量、个性化的帖子。用户可通过音频访谈或总结外部内容,将想法转化为适合平台的优质内容。工具支持多种角色使用,提升内容创作效率与个人品牌影响力,具备灵感库、多模型支持及多种订阅选项,适用于博主、求职者、B2B销售专家等群体。 AI项目与工具 2025年06月12日 68 点赞 0 评论 369 浏览