推理

1. 首页
2. 推理

AlphaGeometry2

AlphaGeometry2 是谷歌 DeepMind 开发的 AI 系统，专用于解决国际数学奥林匹克竞赛中的几何问题。结合神经网络与符号推理技术，能高效预测几何构造并进行逻辑验证，解题准确率达 84%。系统具备扩展语言、强化推理引擎和优化搜索算法，可处理复杂几何问题，适用于数学教育、研究及工程计算等领域。

AI项目与工具 2025年06月12日 60 点赞 0 评论 447 浏览

AutoGLM沉思

AutoGLM沉思是一款由智谱推出的AI代理工具，支持深度研究与多步骤推理，能自主调用浏览器进行信息检索与网页操作。适用于市场分析、技术比较、产品推荐、旅游规划及教育辅助等场景，完全免费且不限量使用，突破了传统API限制，覆盖多平台信息源。

AI项目与工具 2025年06月12日 25 点赞 0 评论 447 浏览

赤兔Chitu

Chitu（赤兔）是清华大学与清程极智联合开发的高性能大模型推理引擎，支持多种GPU及国产芯片，打破对特定硬件的依赖。其具备全场景部署能力，支持低延迟、高吞吐、小显存优化，并在性能上优于部分国外框架。适用于金融风控、智能客服、医疗诊断、交通优化和科研等领域，提供高效、稳定的推理解决方案。

AI项目与工具 2025年06月12日 25 点赞 0 评论 445 浏览

Delta

Delta-CoMe是一种由清华大学NLP实验室牵头研发的增量压缩算法，它通过低秩分解与混合精度量化技术，显著减少了大型语言模型的存储和内存需求，同时保持了模型性能几乎无损。该工具支持多任务处理、推理加速，并广泛适用于云计算、边缘计算及学术研究等领域，特别擅长应对数学、代码和多模态任务。

AI项目与工具 2025年06月12日 58 点赞 0 评论 445 浏览

POINTS 1.5

POINTS 1.5 是腾讯微信开发的多模态大模型，基于LLaVA架构设计，包含视觉编码器、投影器和大型语言模型。它在复杂场景OCR、推理、关键信息提取、数学问题解析及图片翻译等方面表现突出，适用于票据识别、自动客服、新闻摘要、学术论文处理、旅游翻译和在线教育等多个领域。该模型通过高效的数据处理和特征融合技术，实现了跨模态任务的精准处理与高效输出。

AI项目与工具 2025年06月12日 14 点赞 0 评论 443 浏览

53AI

一个开箱即用的企业大模型应用平台，只要帮助企业快速部署和利用大型语言模型（LLMs），提供企业大模型落地应用、业务智能化改造、私有模型定制和大模型咨询服务。

AI服务商 2025年06月05日 17 点赞 0 评论 442 浏览

OpenAI 12天发布会内容全记录，一文快速捕捉亮点信息

OpenAI举办为期12天的系列发布活动，推出包括强化微调技术、Sora视频生成工具、ChatGPT Canvas和高级语音模式在内的多项创新功能，涵盖推理模型、搜索升级和跨平台集成，显著提升AI工具的性能与应用范围。

AI项目与工具 2025年06月12日 61 点赞 0 评论 440 浏览

PRefLexOR

PRefLexOR是由MIT开发的一种基于偏好优化和递归推理的自学习AI框架，能通过多步推理、反思和优化提升输出准确性。其核心技术包括ORPO和DPO，结合“思考令牌”与“反思令牌”实现更精准的推理路径对齐。具备动态知识图谱构建、跨领域推理和自主学习能力，适用于材料科学、信息学等复杂场景，支持开放域问题解决和持续优化。

AI项目与工具 2025年06月12日 56 点赞 0 评论 440 浏览

HK

HK-O1aw是一款由香港生成式AI研发中心与北京大学合作推出的专业法律推理大模型，基于深度学习技术和神经网络架构，专注于慢思考和链式推理。它能够深入分析法律文本，提供逻辑严密的法律意见，涵盖合同审查、消费者权益保护、商业调解等多个应用场景，适合法律从业者、教育机构以及普通用户使用。

AI项目与工具 2025年06月12日 15 点赞 0 评论 438 浏览

SmolDocling

SmolDocling-256M-preview 是一款轻量级多模态文档处理模型，能将图像文档高效转换为结构化文本，支持文本、公式、图表等多种元素识别。模型参数量仅256M，推理速度快，适合学术与技术文档处理。具备OCR、布局识别、格式导出等功能，并兼容Docling，适用于文档数字化、科学研究及移动环境应用。

AI项目与工具 2025年03月22日 98 点赞 0 评论 435 浏览